| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-07-04 | Set version tag for new release. | David Aspinall | |
| 2000-07-03 | Set version tag for new release. | David Aspinall | |
| 2000-06-29 | Set version tag for new release. | David Aspinall | |
| 2000-06-27 | Set version tag for new release. | David Aspinall | |
| 2000-06-27 | Minor tweak. | David Aspinall | |
| 2000-06-26 | Fix mark buffer atomic problem (caused multiple file oddity with Isar), for ↵ | David Aspinall | |
| new parsing functions. | |||
| 2000-06-22 | Set version tag for new release. | David Aspinall | |
| 2000-06-22 | Remove modeline from extra frames (in XEmacs). | David Aspinall | |
| 2000-06-22 | Added back defconsts for face names needed for FSF Emacs. | David Aspinall | |
| Yet another annoyance with FSF. | |||
| 2000-06-19 | Set version tag for new release. | David Aspinall | |
| 2000-06-16 | proof-script-find-next-entity: support list of match items; | Makarius Wenzel | |
| replaced spurious re-search-forward by proof-re-search-forward; proof-script-important-settings: commented out proof-goal-with-hole-regexp, proof-save-with-hole-regexp; | |||
| 2000-06-16 | proof-script-next-entity-regexps: admit list of MATCHNOS; | Makarius Wenzel | |
| 2000-06-16 | Set version tag for new release. | David Aspinall | |
| 2000-06-16 | Added pgcustom x-symbol-language to allow different language name than proof ↵ | David Aspinall | |
| assistant | |||
| 2000-06-15 | Support toolbar in gtk-xemacs | David Aspinall | |
| 2000-06-15 | More comments at top of file | David Aspinall | |
| 2000-06-15 | Improved some docstrings. | David Aspinall | |
| Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants. | |||
| 2000-06-09 | Strange ? got in by accident. | David Aspinall | |
| 2000-06-09 | Set version tag for new release. | David Aspinall | |
| 2000-06-09 | Comment | David Aspinall | |
| 2000-06-09 | Remove toolbar and menubar from windows in multiple frame mode. | David Aspinall | |
| 2000-06-08 | rewrote code from scratch: faster, easier to configure; now enabled by default; | Makarius Wenzel | |
| 2000-06-08 | settings for new indentation setup; | Makarius Wenzel | |
| 2000-06-08 | added proof-looking-at-safe, proof-looking-at-syntactic-context; | Makarius Wenzel | |
| removed proof-indent-commands-regexp; | |||
| 2000-06-06 | Set version tag for new release. | David Aspinall | |
| 2000-06-06 | Added special hack for Isar to include proof-terminal-char in sent string. | David Aspinall | |
| 2000-06-05 | fixed proof-anchor-regexp: use \` instead of ^; | Makarius Wenzel | |
| added proof-no-regexp; | |||
| 2000-06-05 | Added miscellaneous commands section, with proof-display-some-buffers | David Aspinall | |
| function. Bind C-c C-l to proof-display-some-buffers, add to buffer menu. Move start/exit to proof assistant specific menu. Added proof-next-error to menu. | |||
| 2000-06-05 | proof-clean-buffer: clear next error flag if buffer is response. | David Aspinall | |
| 2000-06-05 | Tweaked some docstrings. | David Aspinall | |
| Added proof-shell-next-error-regexp and friends. Bind proof-shell-next-error in proof-universal-keys. | |||
| 2000-06-05 | Added proof-next-error. | David Aspinall | |
| proof-shell-invisible-command: add terminator if it seems to be missing (after all: it's useful for users with C-c C-v). | |||
| 2000-06-05 | Updated to add proof-next-error. | David Aspinall | |
| 2000-06-04 | proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at! | Makarius Wenzel | |
| 2000-06-04 | proof-re-search-forward/backward: observe proof-case-fold-search; | Makarius Wenzel | |
| 2000-06-04 | proof-segment-up-to-cmdstart: exclude leading blanks from command string; | Makarius Wenzel | |
| 2000-06-03 | improved proof-segment-up-to-cmdstart: handle overlap of command | Makarius Wenzel | |
| prefix and comment/string (e.g. { vs {* in Isar); | |||
| 2000-06-01 | Set version tag for new release. | David Aspinall | |
| 2000-06-01 | Updated | David Aspinall | |
| 2000-06-01 | Added autoload | David Aspinall | |
| 2000-06-01 | Allow two strings for boolean settings to handle non-uniformity in Coq | David Aspinall | |
| 2000-06-01 | Use proof-running-on-XEmacs variable. | David Aspinall | |
| 2000-06-01 | Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias ↵ | David Aspinall | |
| if already set. | |||
| 2000-06-01 | New file | David Aspinall | |
| 2000-06-01 | New parsing functions proof-segment-up-to-cmd{start,end} | David Aspinall | |
| Select new parsing function according to config variables Use proof-comment-{start,end}-regexp, and set default values in proof-config-done-related, from proof-comment-{start,end} New proof-script-complete which uses proof-case-fold-search | |||
| 2000-06-01 | Changed 'complete to 'proof-script-complete to use proof-case-fold-search. | David Aspinall | |
| 2000-06-01 | Made require on proof-menu instead of proof-script. | David Aspinall | |
| 2000-06-01 | Use proof-comment-{start,end}-regexp | David Aspinall | |
| 2000-06-01 | Added proof-comment-start-regexp, proof-commend-end-regexp. | David Aspinall | |
| Mention proof-script-complete in docstring for proof-case-fold-search. | |||
| 2000-05-31 | Fix keybinding for completion. Add completion to menubar. | David Aspinall | |
| 2000-05-31 | Added hack to completion.el to avoid adding every prefix as completion. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |