Custom Query (361 matches)
Results (46 - 48 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#399 | fixed | dvi target in doc/Makefile.doc missing | ||
Description |
cd doc; make dvi therefore gives
If the dvi format is not supported any more I suggest to remove all occurrences of dvi from doc/Makefile and doc/Makefile.doc. Hendrik |
|||
#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 |
|||
#319 | duplicate | delete would be nice if it didn't expant symbols | ||
Description |
currently, when hitting backspace after a Unicode symbol, the symbol is changed into its ascii form. This means that it takes 13 backspaces to remove a \<Rightarrow>. It would be nice if delete removes the whole symbol - I rarely edit the ascii body of symbols I've typed. Mostly I want to remove them and type something else. If we want to keep the current editing mode, maybe make it an option in PG menus. |