aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-syntax.el
Commit message (Expand)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,Gravatar David Aspinall2008-07-21
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
* Coq indentation small fixes.Gravatar Pierre Courtieu2006-08-23
* added proof-search-forward, proof-replace-regexp-in-string;Gravatar Makarius Wenzel2005-09-01
* Add suggestion by Stefan Monnier (comment only)Gravatar David Aspinall2005-02-13
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 20:24:00 +0000