Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Copyright date updated | 2001-05-08 | |
| | |||
* | Generalise proof-format-filename | 2000-12-14 | |
| | |||
* | added proof-looking-at-safe, proof-looking-at-syntactic-context; | 2000-06-08 | |
| | | | | removed proof-indent-commands-regexp; | ||
* | fixed proof-anchor-regexp: use \` instead of ^; | 2000-06-05 | |
| | | | | added proof-no-regexp; | ||
* | proof-re-search-forward/backward: observe proof-case-fold-search; | 2000-06-04 | |
| | |||
* | Generalized proof-format to allow sexps in replacement. | 2000-05-29 | |
| | |||
* | Docstring. | 2000-05-26 | |
| | |||
* | Added proof-splice-separator. | 2000-05-09 | |
| | |||
* | Added proof-assistant-keymap and commands for defining insert keys. | 2000-05-02 | |
| | |||
* | Fix %r modifier in proof-format-filename. | 2000-04-25 | |
| | |||
* | Altered proof-format-filename to add %e and %r specifiers. | 2000-04-04 | |
| | |||
* | Switch back to %s, rename proof-shell-string-escapes -> ↵ | 2000-03-22 | |
| | | | | proof-shell-filename-escapes, and always apply for filename substn. | ||
* | docstring | 2000-03-22 | |
| | |||
* | Added utility functions proof-format, proof-format-filename. | 2000-03-22 | |
| | |||
* | Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs) | 2000-03-08 | |
| | |||
* | Fix bug | 1999-11-17 | |
| | |||
* | Added proof-string-match-safe and proof-stringfn-match (also safe) | 1999-11-16 | |
| | |||
* | docstring | 1999-11-14 | |
| | |||
* | Next round of fixups for font-lock and x-symbol. | 1999-11-11 | |
| | |||
* | proof-looking-at (subject to proof-case-fold-search); | 1999-11-10 | |
| | |||
* | fixed some regexp via proof-anchor-regexp; | 1999-07-02 | |
| | |||
* | renamed proof-commands-regexp to proof-indent-commands-regexp, which | 1999-05-27 | |
| | | | | is less confusing); | ||
* | Added proof-string-match | 1999-02-01 | |
| | |||
* | Added optional argument to proof-ids for non-comma separators. | 1998-11-18 | |
| | |||
* | Renamed proof-mode-name -> proof-general-name. | 1998-11-12 | |
| | | | | | | Reimplemented configuration for fume-menu. Now works for named goals, named saves, and (e.g. lego) both! Removed some FIXME's. | ||
* | added FIXME note on maybe using regexp-opt | 1998-11-03 | |
| | |||
* | o added support for byte-compilation | 1998-11-01 | |
| | | | | | | | o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | ||
* | Begun work on clean byte compilation / clarifying interfaces. | 1998-10-27 | |
| | |||
* | Replaced remaining face defs with defface calls. | 1998-10-23 | |
| | | | | | Removed font-lock-<newface> with proof-<newface> so we know where things come from and won't break future font locks. | ||
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
| | |||
* | Reimplemented proof-shell-popup-eager-annotation | 1998-09-15 | |
| | | | | These are no longer displayed in the *GOALS* buffer. | ||
* | fixed implementation of `proof-have-color' | 1998-09-10 | |
| | |||
* | Added Id and comments | 1998-09-08 | |
| | |||
* | Renamed for new subdirectory structure | 1998-09-03 | |