| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-10 | Electric (active) terminator is now a user option, does not need forcing here. | David Aspinall | |
| 1999-11-10 | Fix decoding of shell input. | David Aspinall | |
| 1999-11-10 | Moved proof-file-truename, proof-file-to-buffer, to proof.el | David Aspinall | |
| Made setting font-lock-always-fontify-immediately be buffer local in proof scripts (it's an ugly hack for comma-defontification). | |||
| 1999-11-10 | Moved utility function proof-files-to-buffers to proof.el. Fixed local var | David Aspinall | |
| 1999-11-10 | Moved more utility functions here. | David Aspinall | |
| 1999-11-10 | Removed unsociable key-bindings. | David Aspinall | |
| 1999-11-09 | Fixed info syntax errors | David Aspinall | |
| 1999-11-09 | Set version tag for new release. | David Aspinall | |
| 1999-11-09 | No unless noted | David Aspinall | |
| 1999-11-09 | News about x-symbol | David Aspinall | |
| 1999-11-09 | Generic support for x-symbol tuned up. | David Aspinall | |
| 1999-11-09 | Fixes for x-symbol activation/deactivation strings | David Aspinall | |
| 1999-11-09 | Bug again in call-interactively in proof-toggle-active-scripting. | David Aspinall | |
| Turn on proof-x-symbol mode in proof script mode. | |||
| 1999-11-09 | Bug in proof-toggle-active-scripting interactive calling. | David Aspinall | |
| 1999-11-09 | Test files for error in theory processing. | David Aspinall | |
| 1999-11-09 | Arrange for activate-scripting to not block for interactive calls. | David Aspinall | |
| 1999-11-08 | docstring | David Aspinall | |
| 1999-11-08 | Added a section on debugging, mentioned proof-show-debug-messages. | David Aspinall | |
| 1999-11-08 | Fixes to intro. | David Aspinall | |
| 1999-11-08 | Updates for 3.0 | David Aspinall | |
| 1999-11-08 | Docstring for proof-included-files. | David Aspinall | |
| 1999-11-08 | proof-prf-string -> proof-showproof-command | David Aspinall | |
| 1999-11-08 | Updated | David Aspinall | |
| 1999-11-08 | Comments/messages. | David Aspinall | |
| 1999-11-08 | Comments. | David Aspinall | |
| 1999-11-08 | Updated multiple file notes. | David Aspinall | |
| 1999-11-08 | New file. | David Aspinall | |
| 1999-11-08 | Note about release 3.0. | David Aspinall | |
| 1999-11-08 | Updated | David Aspinall | |
| 1999-11-08 | Provisional updates for x-symbol support (incomplete) | David Aspinall | |
| 1999-11-08 | Copyright messages updated. | David Aspinall | |
| 1999-11-08 | Typo. | David Aspinall | |
| 1999-11-08 | Changed web page to official one. | David Aspinall | |
| Added x-symbol support (moved here from generic/proof-x-symbol) | |||
| 1999-11-08 | Copyright messages updated. Autoloads for x-symbol. | David Aspinall | |
| 1999-11-08 | Copyright messages updated. | David Aspinall | |
| 1999-11-08 | New section for x-symbol. New custom group for user options. | David Aspinall | |
| 1999-11-08 | Comments | David Aspinall | |
| 1999-11-08 | Updated | David Aspinall | |
| 1999-11-02 | Set version tag for new release. | David Aspinall | |
| 1999-10-29 | improved proof-shell-error-regexp; | Makarius Wenzel | |
| 1999-10-27 | update of x-symbol stuff by DvO; | Makarius Wenzel | |
| 1999-10-27 | updated; | Makarius Wenzel | |
| 1999-10-27 | (try_)context_thy_only; | Makarius Wenzel | |
| 1999-10-27 | isa-update-thy-only: 'try' option; | Makarius Wenzel | |
| 1999-10-27 | test stray ML file; | Makarius Wenzel | |
| 1999-10-27 | tuned msg; | Makarius Wenzel | |
| 1999-10-26 | updated; | Makarius Wenzel | |
| 1999-10-26 | ProofGeneral.inform_file_processed/retracted; | Makarius Wenzel | |
| improved proof-shell-compute-new-files-list (more robust); | |||
| 1999-10-26 | tuned proof-shell-error-regexp; | Makarius Wenzel | |
| 1999-10-26 | isa-keywords-save: removed "result"; | Makarius Wenzel | |
| isa-keywords-commands: added "ProofGeneral.repeat_undo"; added isa-keywords-proof-commands; added isa-verbatim; | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |