Custom Query (361 matches)
Results (37 - 39 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #360 | fixed | link to proof general is broken and lacks helpful message | ||
| Description |
The link to Proof General 4.0 on http://proofgeneral.inf.ed.ac.uk/download is broken and the comment next to the link simply says "link broken" instead of something more helpful like "not yet available, here is the link to the previous version". |
|||
| #358 | invalid | link to proof general is broken | ||
| Description |
The link to Proof General 4.0 on http://proofgeneral.inf.ed.ac.uk/download is broken. The web page also says "link broken". |
|||
| #184 | fixed | lib/maths-menu.el doesn't compile on XEmacs 21.4 | ||
| Description |
> xemacs -batch -q -no-site-file -eval '(setq load-path (append (mapcar (lambda (d) (concat "/home/courtieu/pg/cvs_NOCHANGE/" (symbol-name d))) (quote (acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic twelf generic lib mmm))) load-path))' -f batch-byte-compile lib/maths-menu.el
> > > Compiling /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el...
> > > While compiling toplevel forms in file /home/courtieu/pg/cvs_NOCHANGE/lib/maths-menu.el:
> > > !! Invalid read syntax (("#"))
>>> > >>> Error occurred processing lib/maths-menu.el:
> > > Invalid read syntax: "#"
I am using debian unstable xemacs version: 21.4 (patch 21)... |
|||
Note: See TracQuery
for help on using queries.
