Custom Query (361 matches)
Results (1 - 3 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#302 | invalid | Coq mode requires hilit19.el which is not in Emacs 23 | ||
Description |
On Ubuntu 9.10, the emacs23 package does not include hilit19.el, which the Coq mode requires. Downloading the file and placing it on load-path gives "Invalid font or font-spec". |
|||
#207 | fixed | dir symbol is void on leopard coq | ||
Description |
Proof general starts correctly with emacs but when I try to start coq with C-c C-s I get a Symbol's value as variable is void: dir the trace is Loading /Users/ryan/emacs/ProofGeneral-3.7.1pre080526/ProofGeneral/generic/proof-toolbar.el (source)...done Loading /Users/ryan/emacs/ProofGeneral-3.7.1pre080526/ProofGeneral/generic/pg-user.el (source)...done Loading /Users/ryan/emacs/ProofGeneral-3.7.1pre080526/ProofGeneral/generic/proof-shell.el (source)...done Loading /Users/ryan/emacs/ProofGeneral-3.7.1pre080526/ProofGeneral/generic/proof-x-symbol.el (source)...done file-exists-p: Symbol's value as variable is void: dir [2 times] I'm using these versions, although this same behavior happens with the stable version of Proof General and with Coq 8.1pl2: This is GNU Emacs 22.1.1 (i386-apple-darwin9.2.2, Carbon Version 1.6.0) The Coq Proof Assistant, version 8.1pl3 (Dec. 2007) Version 3.7.1pre080526 |
|||
#269 | needmoreinfo | Aquamacs key bindings don't work | ||
Description |
Aquamacs defines various key bindings that are more familiar to Mac users, e.g. cmd-C for copy, cmd-V for paste, etc. These don't work in Proof General. How come? |