aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
Commit message (Expand)AuthorAge
* Fix bugGravatar David Aspinall1999-11-17
* Added proof-string-match-safe and proof-stringfn-match (also safe)Gravatar David Aspinall1999-11-16
* docstringGravatar David Aspinall1999-11-14
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* proof-looking-at (subject to proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* fixed some regexp via proof-anchor-regexp;Gravatar Makarius Wenzel1999-07-02
* renamed proof-commands-regexp to proof-indent-commands-regexp, whichGravatar Makarius Wenzel1999-05-27
* Added proof-string-matchGravatar David Aspinall1999-02-01
* Added optional argument to proof-ids for non-comma separators.Gravatar David Aspinall1998-11-18
* Renamed proof-mode-name -> proof-general-name.Gravatar David Aspinall1998-11-12
* added FIXME note on maybe using regexp-optGravatar David Aspinall1998-11-03
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Replaced remaining face defs with defface calls.Gravatar David Aspinall1998-10-23
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Reimplemented proof-shell-popup-eager-annotationGravatar Thomas Kleymann1998-09-15
* fixed implementation of `proof-have-color'Gravatar Thomas Kleymann1998-09-10
* Added Id and commentsGravatar David Aspinall1998-09-08
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 16:50:21 +0000