Custom Query (361 matches)
Results (13 - 15 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#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". |
|||
#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". |
|||
#369 | fixed | PG will not compile under non-windowing Emacs | ||
Description |
emacs --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_math_ProofGeneral/work/ProofGeneral-4.0pre101004/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm))) load-path))' -eval '(progn (require (quote bytecomp)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile generic/pg-pbrpm.el In toplevel form: generic/pg-pbrpm.el:599:1:Error: the following functions are not known to be defined: popup-menu, mouse-set-point make[1]: * [generic/pg-pbrpm.elc] Error 1 make: * [compile] Error 2 |