aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-syntax.el
AgeCommit message (Expand)Author
1999-11-14docstringDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-10proof-looking-at (subject to proof-case-fold-search);Makarius Wenzel
1999-07-02fixed some regexp via proof-anchor-regexp;Makarius Wenzel
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-02-01Added proof-string-matchDavid Aspinall
1998-11-18Added optional argument to proof-ids for non-comma separators.David Aspinall
1998-11-12Renamed proof-mode-name -> proof-general-name.David Aspinall
1998-11-03added FIXME note on maybe using regexp-optDavid Aspinall
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-23Replaced remaining face defs with defface calls.David Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-15Reimplemented proof-shell-popup-eager-annotationThomas Kleymann
1998-09-10fixed implementation of `proof-have-color'Thomas Kleymann
1998-09-08Added Id and commentsDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 16:02:32 +0000