| Age | Commit message (Expand) | Author |
|---|
| 2004-04-17 | Fix bug in replace-in-string for GNU Emacs | David Aspinall |
| 2004-04-17 | Clean up, re-order, change priorities, remove done things. | David Aspinall |
| 2004-04-17 | Clarify that it is right to query saves in proof-retract-until-point's call | David Aspinall |
| 2004-04-17 | Updated. | David Aspinall |
| 2004-04-17 | Comments. | David Aspinall |
| 2004-04-17 | Fix isa-tool-list-docs for altered form of output from isatool doc | David Aspinall |
| 2004-04-17 | Update magic | David Aspinall |
| 2004-04-17 | Update dates, update magic, doc proof-cannot-reopen-processed-files. | David Aspinall |
| 2004-04-17 | Numerous updates and improvements: | David Aspinall |
| 2004-04-17 | Add shortcuts for new X-Symbol sequences. | David Aspinall |
| 2004-04-17 | Oops, remove junk. | David Aspinall |
| 2004-04-17 | Escape the string from substitute-command-keys in proof-defshortcut, proof-de... | David Aspinall |
| 2004-04-17 | Comments. | David Aspinall |
| 2004-04-17 | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | David Aspinall |
| 2004-04-17 | Updated. | David Aspinall |
| 2004-04-17 | Clear the stuff to do before 3.5 | David Aspinall |
| 2004-04-17 | Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo... | David Aspinall |
| 2004-04-17 | imenu todo | David Aspinall |
| 2004-04-17 | Capitalization. | David Aspinall |
| 2004-04-17 | Mention supported Emacs versions | David Aspinall |
| 2004-04-17 | Lighter background colour for proof-error-face | David Aspinall |
| 2004-04-17 | Note about font-lock problem in XE 21.4.x x<11 | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Add boundp check to proof-map-multiple-frame-specifiers, for some back compat... | David Aspinall |
| 2004-04-16 | New files. | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Fix my email addr. | David Aspinall |
| 2004-04-16 | Use own name instead of hiding behind mythical PG team | David Aspinall |
| 2004-04-16 | Spurious "'s | David Aspinall |
| 2004-04-16 | Moved handling of mixed undo into the CCC, so there is now just one undo() cmd. | cxl |
| 2004-04-16 | fix typo in isar-long-id-stuff | Gerwin Klein |
| 2004-04-16 | fix typo in isar-long-id-stuff | Gerwin Klein |
| 2004-04-16 | ccc-count-undos: declare str (doesnae fix bug though) | David Aspinall |
| 2004-04-16 | little fix for x-symbols coq. | Pierre Courtieu |
| 2004-04-16 | Add FAQ about .elcs failing in GNU Emacs. | David Aspinall |
| 2004-04-16 | modified the noteq token (become '<>' ). | Pierre Courtieu |
| 2004-04-16 | Fix URL | David Aspinall |
| 2004-04-16 | Oops, another stray old URL... | David Aspinall |
| 2004-04-16 | added an example fils for coq x-symbols. | Pierre Courtieu |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | *** empty log message *** | Christophe Raffalli |
| 2004-04-16 | Set version tag for new release. | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | New files. | David Aspinall |
| 2004-04-16 | New files. | David Aspinall |
| 2004-04-16 | New files. | David Aspinall |
| 2004-04-16 | New file | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Updated. | David Aspinall |
| 2004-04-16 | Document Imenu/Speedbar. Update contributors. | David Aspinall |
