aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
Commit message (Expand)AuthorAge
* Documentation.Gravatar David Aspinall2002-08-31
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* proof-string-match-safe is even more safeGravatar David Aspinall2002-08-13
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.Gravatar David Aspinall2002-07-18
* Fix bug in proof-zap-commas-region (which is anyway faulty)Gravatar David Aspinall2002-07-18
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* GPLGravatar David Aspinall2002-06-21
* Tweak commentGravatar David Aspinall2002-01-31
* Found another instance of buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Copyright date updatedGravatar David Aspinall2001-05-08
* Generalise proof-format-filenameGravatar David Aspinall2000-12-14
* added proof-looking-at-safe, proof-looking-at-syntactic-context;Gravatar Makarius Wenzel2000-06-08
* 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