Custom Query (361 matches)

We could replace proof-no-command simply by nil.

Isabelle fails to start up with PG 3.7 and XEmacs 21.5.28, not sure if this is intended to work.

I have attached the error trace.

The same / a similar issues was also reported on the Isabelle mailing list, cf.:

​https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2007-August/msg00065.html

Using the newest development version (or older versions) with Emacs 23.3 fails with the following error message during compiling the lisp files:

emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar (lambda (d) (concat "/home/noschinl/opt/ProofGeneral-4.1pre110309/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (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 contrib/mmm/mmm-mode.el 

In toplevel form:
contrib/mmm/mmm-mode.el:165:12:Error: `font-lock-beginning-of-syntax-function' is an obsolete variable (as of Emacs 23.3); use `syntax-begin-function' instead.
make[1]: *** [contrib/mmm/mmm-mode.elc] Fehler 1
make[1]: Leaving directory `/home/noschinl/opt/ProofGeneral-4.1pre110309'
make: *** [compile] Fehler 2