aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* 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
* Comments.Gravatar David Aspinall2004-04-15
* Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)Gravatar David Aspinall2004-04-15
* Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.Gravatar David Aspinall2004-04-15
* added some tactical names for coq.Gravatar Pierre Courtieu2004-04-15
* Remove commentGravatar David Aspinall2004-04-15
* Add doc for x-symbolsGravatar David Aspinall2004-04-15
* Updated.Gravatar David Aspinall2004-04-15
* Remove X-Symbol support temporarilyGravatar David Aspinall2004-04-15
* Prevent setting WM title so Emacs can do its own thingGravatar David Aspinall2004-04-15
* little change in CHANGES and in coq syntax table.Gravatar Pierre Courtieu2004-04-15
* Add 'oldhaspref to update action (settings appears again on Isar menu).Gravatar David Aspinall2004-04-15
* added little doc for holes.Gravatar Pierre Courtieu2004-04-15
* fixed some words in coq changes.Gravatar Pierre Courtieu2004-04-15
* Updated.Gravatar David Aspinall2004-04-15
* New files.Gravatar David Aspinall2004-04-14
* Typo in imenu setup (not sure how that got committed)Gravatar David Aspinall2004-04-14
* Mention coding system for x-symbol warning message.Gravatar David Aspinall2004-04-14
* Set supported versions of Isabelle (remove 99, 2002 versions).Gravatar David Aspinall2004-04-14
* New files.Gravatar David Aspinall2004-04-14
* Remove X-symbol support from secondary provers temporarilyGravatar David Aspinall2004-04-14
* Fix mail addrGravatar David Aspinall2004-04-14
* Cleanup file by removing some unnecessary settings (I hope)Gravatar David Aspinall2004-04-14
* New files.Gravatar David Aspinall2004-04-14
* Deleted fileGravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* added basic support for imenu for coq.Gravatar Pierre Courtieu2004-04-14
* added the "return" keyword to coqGravatar Pierre Courtieu2004-04-14
* Support 'oldhaspref as alias for 'haspref in PG 3.5.Gravatar David Aspinall2004-04-14
* Add support for Imenu. Fix other bits here.Gravatar David Aspinall2004-04-14
* Set version tag for new release.Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* Add Index menu.Gravatar David Aspinall2004-04-14
* Add Index Menu and Speedbar menu entries; remove Function Menu.Gravatar David Aspinall2004-04-14
* Add proof-imenu-enable. Other doc tweaks.Gravatar David Aspinall2004-04-14
* Add functions for Imenu and SpeedbarGravatar David Aspinall2004-04-14
* Fix version number notes.Gravatar David Aspinall2004-04-14
* Write summary of changes.Gravatar David Aspinall2004-04-14
* Fix buglet in pgip eager annotation stripping.Gravatar David Aspinall2004-04-14
* Add proof-script-imenu-generic-expression for configuring imenu.Gravatar David Aspinall2004-04-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 13:56:57 +0000