aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
Commit message (Expand)AuthorAge
...
* fixed proof-anchor-regexp: use \` instead of ^;Gravatar Makarius Wenzel2000-06-05
* proof-re-search-forward/backward: observe proof-case-fold-search;Gravatar Makarius Wenzel2000-06-04
* Generalized proof-format to allow sexps in replacement.Gravatar David Aspinall2000-05-29
* Docstring.Gravatar David Aspinall2000-05-26
* Added proof-splice-separator.Gravatar David Aspinall2000-05-09
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Fix %r modifier in proof-format-filename.Gravatar David Aspinall2000-04-25
* Altered proof-format-filename to add %e and %r specifiers.Gravatar David Aspinall2000-04-04
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* docstringGravatar David Aspinall2000-03-22
* Added utility functions proof-format, proof-format-filename.Gravatar David Aspinall2000-03-22
* Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)Gravatar David Aspinall2000-03-08
* 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-02 20:38:56 +0000