aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-syntax.el
AgeCommit message (Expand)Author
2000-06-08added proof-looking-at-safe, proof-looking-at-syntactic-context;Makarius Wenzel
2000-06-05fixed proof-anchor-regexp: use \` instead of ^;Makarius Wenzel
2000-06-04proof-re-search-forward/backward: observe proof-case-fold-search;Makarius Wenzel
2000-05-29Generalized proof-format to allow sexps in replacement.David Aspinall
2000-05-26Docstring.David Aspinall
2000-05-09Added proof-splice-separator.David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-04-25Fix %r modifier in proof-format-filename.David Aspinall
2000-04-04Altered proof-format-filename to add %e and %r specifiers.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22docstringDavid Aspinall
2000-03-22Added utility functions proof-format, proof-format-filename.David Aspinall
2000-03-08Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)David Aspinall
1999-11-17Fix bugDavid Aspinall
1999-11-16Added proof-string-match-safe and proof-stringfn-match (also safe)David Aspinall
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-01-31 21:22:40 +0000