aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Tag for 3.5Gravatar David Aspinall2004-04-17
* Branch for 3.5 releaseGravatar David Aspinall2004-04-17
* Branch for 3.5 releaseGravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Updated magicGravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Escape { and }Gravatar David Aspinall2004-04-17
* Add missing menu entry.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Note about bad pgscripts editingGravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Compiler warningsGravatar David Aspinall2004-04-17
* Minor changes to avoid some compiler warningsGravatar David Aspinall2004-04-17
* Fix bug in replace-in-string for GNU EmacsGravatar David Aspinall2004-04-17
* Clean up, re-order, change priorities, remove done things.Gravatar David Aspinall2004-04-17
* Clarify that it is right to query saves in proof-retract-until-point's callGravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Comments.Gravatar David Aspinall2004-04-17
* Fix isa-tool-list-docs for altered form of output from isatool docGravatar David Aspinall2004-04-17
* Update magicGravatar David Aspinall2004-04-17
* Update dates, update magic, doc proof-cannot-reopen-processed-files.Gravatar David Aspinall2004-04-17
* Numerous updates and improvements:Gravatar David Aspinall2004-04-17
* Add shortcuts for new X-Symbol sequences.Gravatar David Aspinall2004-04-17
* Oops, remove junk.Gravatar David Aspinall2004-04-17
* Escape the string from substitute-command-keys in proof-defshortcut, proof-de...Gravatar David Aspinall2004-04-17
* Comments.Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-17
* Clear the stuff to do before 3.5Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* imenu todoGravatar David Aspinall2004-04-17
* Capitalization.Gravatar David Aspinall2004-04-17
* Mention supported Emacs versionsGravatar David Aspinall2004-04-17
* Lighter background colour for proof-error-faceGravatar David Aspinall2004-04-17
* Note about font-lock problem in XE 21.4.x x<11Gravatar David Aspinall2004-04-17
* Updated.Gravatar David Aspinall2004-04-16
* Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Fix my email addr.Gravatar David Aspinall2004-04-16
* Use own name instead of hiding behind mythical PG teamGravatar David Aspinall2004-04-16
* Spurious "'sGravatar David Aspinall2004-04-16
* Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.Gravatar cxl2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* fix typo in isar-long-id-stuffGravatar Gerwin Klein2004-04-16
* ccc-count-undos: declare str (doesnae fix bug though)Gravatar David Aspinall2004-04-16
* little fix for x-symbols coq.Gravatar Pierre Courtieu2004-04-16
* Add FAQ about .elcs failing in GNU Emacs.Gravatar David Aspinall2004-04-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 16:15:51 +0000