aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* modified the noteq token (become '<>' ).Gravatar Pierre Courtieu2004-04-16
* Fix URLGravatar David Aspinall2004-04-16
* Oops, another stray old URL...Gravatar David Aspinall2004-04-16
* added an example fils for coq x-symbols.Gravatar Pierre Courtieu2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* *** empty log message ***Gravatar Christophe Raffalli2004-04-16
* Set version tag for new release.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* New files.Gravatar David Aspinall2004-04-16
* New fileGravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Document Imenu/Speedbar. Update contributors.Gravatar David Aspinall2004-04-16
* Explain how to configure Imenu.Gravatar David Aspinall2004-04-16
* Add automatic refresh of Logics menuGravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-16
* Updated.Gravatar David Aspinall2004-04-15
* Comments.Gravatar David Aspinall2004-04-15
* Comment out pg-customize-menu-createGravatar David Aspinall2004-04-15
* Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsGravatar David Aspinall2004-04-15
* Change error face to firebrick (again)Gravatar David Aspinall2004-04-15
* Added some syntax stuff (highlight comments etc).Gravatar cxl2004-04-15
* Set version tag for new release.Gravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-15
* Fix typo.Gravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-15
* Comments.Gravatar David Aspinall2004-04-15
* Remove title settingGravatar David Aspinall2004-04-15
* Set imenu-syntax-alist. Seems to solve prefix/underscore issue in SpeedbarGravatar David Aspinall2004-04-15
* commented the new tarski example for coq.Gravatar Pierre Courtieu2004-04-15
* Set frame title format to [Prover] Proof General: buffer.Gravatar David Aspinall2004-04-15
* added Knaster - Tarski theorem.Gravatar Pierre Courtieu2004-04-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 16:54:09 +0000