| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-10-06 | settings for (de)activating scripting, and proof-tidy-response. | David Aspinall | |
| 1999-10-06 | proof-try-command is deprecated | David Aspinall | |
| 1999-10-06 | Added proof-retract-buffer symmetric to proof-process-buffer. | David Aspinall | |
| Added question to user when switching scripting buffer, and new option proof-auto-retract-other-buffers to disable question. This reimplements the old "steal scripting?" idea. | |||
| 1999-10-01 | Fixup name changes | David Aspinall | |
| 1999-10-01 | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | |
| 1999-09-29 | Unhappily added proof-shell-leave-annotations-in-output hack. | David Aspinall | |
| 1999-09-29 | Added proof-script-command-separator. Needs work. | David Aspinall | |
| 1999-09-23 | Docstrings | David Aspinall | |
| 1999-09-23 | Added proof-find-theorems-command setting. | David Aspinall | |
| 1999-09-22 | Docstrings | David Aspinall | |
| 1999-09-22 | proof-completed-regexp: match number 1 is response text; | Makarius Wenzel | |
| 1999-09-21 | Improved docstrings for regexp vars. | David Aspinall | |
| 1999-09-21 | Added proof-state-change-hook for toolbar enabler refreshing. | David Aspinall | |
| Comments and variable ordering tweaked. | |||
| 1999-09-13 | Removed transparent gif from splash screen because XEmacs can't | David Aspinall | |
| display it nicely. | |||
| 1999-09-13 | docstring improvements for proof-guess-command-name | David Aspinall | |
| 1999-08-23 | Fix for toolbar disable for FSF Emacs. | David Aspinall | |
| 1999-06-24 | Change of image | David Aspinall | |
| 1999-06-18 | Docstring | David Aspinall | |
| 1999-06-18 | tactics-name-face | Patrick Loiseleur | |
| 1999-06-15 | Docstring fixes. | David Aspinall | |
| 1999-06-14 | Added proof-tactics-name-face | Patrick Loiseleur | |
| 1999-06-07 | Cleaned up docstrings | David Aspinall | |
| 1999-05-27 | added proof-string-start-regexp, proof-string-end-regexp; | Makarius Wenzel | |
| 1999-05-25 | added proof-really-save-command-p to support | Makarius Wenzel | |
| more general qed schemes, such as Isabelle/Isar's nested proofs; | |||
| 1999-05-17 | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur | |
| the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick | |||
| 1999-03-08 | Idea for proof-auto-retract, notes about proof-strict-read-only | David Aspinall | |
| 1999-02-01 | Improved docstring | David Aspinall | |
| 1999-02-01 | Added proof-case-fold-search | David Aspinall | |
| 1998-12-18 | Added proof-assistant-symbol | David Aspinall | |
| 1998-12-16 | Fixed default for proof-shell-quit-cmd. | David Aspinall | |
| 1998-12-15 | Docstring fixes | David Aspinall | |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann | |
| 1998-12-11 | Removed proof-shell-preprocess-command. Improved docstring for ↵ | David Aspinall | |
| proof-shell-insert-hooks. | |||
| 1998-12-10 | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall | |
| 1998-12-07 | Added proof-shell-preprocess-command for Paul Callaghan. | David Aspinall | |
| 1998-11-26 | Added proof-shell-clear-goals-regexp. | David Aspinall | |
| 1998-11-26 | Warning in proof-shell-insert-hook docstrings. | David Aspinall | |
| 1998-11-26 | Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes. | David Aspinall | |
| 1998-11-25 | Docstring improvements. | David Aspinall | |
| Made default for proof-window-dedicated be nil because of problems with multi frame stuff. | |||
| 1998-11-25 | Made default proof-auto-delete-windows=nil again, it's too unpredictable. | David Aspinall | |
| 1998-11-25 | more improvements, docstring fixes. | David Aspinall | |
| 1998-11-25 | Added some more settings, moved some around, improved docstrings. | David Aspinall | |
| 1998-11-20 | Reimplemented functions to shut down and restart proof process. | David Aspinall | |
| Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd, proof-shell-restart-comd Fancier Scripting indicator for active scripting buffer. | |||
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall | |
| Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions. | |||
| 1998-11-18 | Buggy default for proof-mode-for-script | David Aspinall | |
| 1998-11-18 | Improved proof-clean-buffer. Now only deletes windows in currently | David Aspinall | |
| selected frame. Changed default proof-auto-delete-windows value back to t. | |||
| 1998-11-18 | improvements to docstrings and defcustoms. | David Aspinall | |
| added proof-shell-clear-response-regexp | |||
| 1998-11-12 | In a fit of autocracy, removed proof-tags-support, binding for | David Aspinall | |
| M-tab and appearance of Find Tags in PG menu. The menu entry already appears in Tools->Tags, and users should bind M-tab for themselves. | |||
| 1998-11-12 | Added proof-auto-delete-windows user option. | David Aspinall | |
| 1998-11-12 | Renamed proof-mode-name -> proof-general-name. | David Aspinall | |
| Reimplemented configuration for fume-menu. Now works for named goals, named saves, and (e.g. lego) both! Removed some FIXME's. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |