| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias ↵ | David Aspinall | |
| if already set. | |||
| 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-05-31 | Fixes for completion support. | David Aspinall | |
| 2000-05-30 | Hairy parsing for Isar. Not finished (or working) yet. | David Aspinall | |
| 2000-05-30 | Arg for proof-minibuffer-cmd: compact whitespace in region. | David Aspinall | |
| 2000-05-30 | Fixed typo causing bug. Generic parsing updated (still wip) | David Aspinall | |
| 2000-05-30 | Added doc of new prefix arg feature for proof-minibuffer-cmd | David Aspinall | |
| 2000-05-30 | Added prefix arg to proof-minibuffer-cmd to insert current region. | David Aspinall | |
| 2000-05-29 | Added new parsing mechanism. Began removing proof-terminal-string. | David Aspinall | |
| 2000-05-26 | Removed proof-script-indent check. | David Aspinall | |
| 2000-05-25 | Added completion table code. | David Aspinall | |
| 2000-05-16 | Add proof-strict-state-preserving setting | David Aspinall | |
| 2000-05-11 | Use proof-deftoggle macro. | David Aspinall | |
| Comments about failure for ;;;###autoload cookie for define-derived-mode Attempted fixes for C-x C-w, C-x C-v, revert-buffer. | |||
| 2000-05-09 | Fixup loading. | David Aspinall | |
| 2000-05-09 | Removed menus, keybinding. Removed compatibility hacks. Improved loading. | David Aspinall | |
| 2000-05-05 | Comments. Minor improvements for electric terminator and ↵ | David Aspinall | |
| proof-follow-mode='ignore | |||
| 2000-05-02 | Added proof-assistant-keymap and commands for defining insert keys. | David Aspinall | |
| 2000-05-01 | Added proof-assistant-menu-entries for proof assistant specific menus. | David Aspinall | |
| 2000-04-25 | Note about efficiency/bug fix by Markus. | David Aspinall | |
| 2000-04-15 | proof-segment-up-to: no longer poke around in make-string buffer (now | Makarius Wenzel | |
| more efficient, also works around crash bug in xemacs-21.1.7/SuSE); | |||
| 2000-04-07 | More generic message to avoid confusion with Coq searching. | David Aspinall | |
| 2000-04-04 | Improved behaviour of electric terminator. | David Aspinall | |
| 2000-04-04 | Update copyright dates, comments. | David Aspinall | |
| 2000-03-24 | Spacing. | David Aspinall | |
| 2000-03-22 | Bug fix for electric terminator used inside locked region. | David Aspinall | |
| 2000-03-22 | Use proof-format-filename instead of format on cmds with file parameter. | David Aspinall | |
| 2000-03-19 | Added keybinding, improved doc for ↵ | David Aspinall | |
| proof-undo-and-delete-last-successful-command. | |||
| 2000-03-10 | Use name of proof assistant in menu. | David Aspinall | |
| 2000-02-09 | Added proof-shell-pre-interrupt-hook | David Aspinall | |
| 1999-11-24 | Docstring | David Aspinall | |
| 1999-11-24 | Fixed extending queue bug. Many docstring improvements | David Aspinall | |
| 1999-11-23 | Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p. | David Aspinall | |
| 1999-11-22 | Renamed proof-auto-delete-windows -> proof-delete-empty-windows | David Aspinall | |
| 1999-11-22 | Improved nothing to do error message | David Aspinall | |
| 1999-11-19 | Typo | David Aspinall | |
| 1999-11-19 | Fix for proof-script-new-command-advance. | David Aspinall | |
| 1999-11-18 | Removed comment. | David Aspinall | |
| 1999-11-18 | Changed eval-when-compile to eval-when (compile). | David Aspinall | |
| Made a new menu for quick options editing, put it in shared menu. Added options for multiple frames, auto delete windows. Toolbar :active is now more sringent, must be in script buffer. Use proof-try-require to load func-menu in mode definition, solving problem of func-menu configuration before it's loaded. Cleaned up some comments. | |||
| 1999-11-17 | Fix mouse bindings to be different for FSF/XEmacs versions. | David Aspinall | |
| 1999-11-17 | Fix typo | David Aspinall | |
| 1999-11-17 | Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling. | David Aspinall | |
| 1999-11-16 | Not strictly necessary to set proof-goal-command-regexp | David Aspinall | |
| 1999-11-16 | Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script | David Aspinall | |
| 1999-11-16 | Fix for proof-minibuffer-cmd. Remove old keybindings. | David Aspinall | |
| 1999-11-16 | Fix for retraction order with auto-multiple-files. | David Aspinall | |
| Let proof-undo-and-delete-last-successful-command work from other buffers. Made kill buffer function more robust. New! Added generic defaults for count-undos, goal-command-p, state-preserving-p. Used in demoisa instance for now, others to use later. Added checks that important configuration variables are set, and set defaults for some others. | |||
| 1999-11-15 | Fixed mistake in function names. Tidied menus a bit | David Aspinall | |
| 1999-11-15 | Fixes for FSF overlay obscurity. | David Aspinall | |
| 1999-11-15 | Reorganization of user-level commands, code moved from proof-toolbar.el | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |