| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-03-23 | Updated Isabelle home page. | David Aspinall | |
| 2000-03-22 | Switch back to %s, rename proof-shell-string-escapes -> ↵ | David Aspinall | |
| proof-shell-filename-escapes, and always apply for filename substn. | |||
| 2000-03-22 | Fix other file commands to use %e substitution. | David Aspinall | |
| 2000-03-22 | Use new format character %s to %e to cope with nasty filenames with backslashes. | David Aspinall | |
| 2000-03-22 | transparent cd; | Makarius Wenzel | |
| 2000-03-19 | Added settings for silent control. | David Aspinall | |
| 2000-03-13 | New/updated information files | David Aspinall | |
| 2000-03-10 | Docstrings | David Aspinall | |
| 2000-03-10 | Added menu item to switch to script buffer, C-c C-o key. | David Aspinall | |
| 2000-03-09 | Updated headers. | David Aspinall | |
| 2000-03-09 | Updated | David Aspinall | |
| 2000-03-09 | Added README files for each prover, summarizing status. | David Aspinall | |
| 2000-03-08 | Split low-level todo into several files. | David Aspinall | |
| 2000-02-23 | tuned electric-ignore; | Makarius Wenzel | |
| 2000-02-15 | fix electric-ignore (due to DvO); | Makarius Wenzel | |
| 2000-02-11 | option -x: enable x-symbol package; | Makarius Wenzel | |
| 2000-02-10 | setup proof-shell-pre-interrupt-hook for Poly/ML; | Makarius Wenzel | |
| 2000-02-07 | fixed proof-shell-error-regexp; | Makarius Wenzel | |
| 2000-01-12 | Comments | David Aspinall | |
| 2000-01-06 | Fixes for short output duplication problem: set ↵ | David Aspinall | |
| proof-shell-eager-annotation-start-length. | |||
| 1999-11-29 | Change SML minor mode binding to C-c C-m, avoiding clash with | David Aspinall | |
| proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu. | |||
| 1999-11-29 | Add universal keys to theory mode | David Aspinall | |
| 1999-11-26 | Fix to proof-shell-proof-completed-regexp by reverting to previous version. | David Aspinall | |
| 1999-11-24 | Made thy-indent-level a user opt. | David Aspinall | |
| 1999-11-23 | Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by Markus | David Aspinall | |
| 1999-11-22 | tuned faces; | Makarius Wenzel | |
| 1999-11-19 | Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use ↵ | David Aspinall | |
| this file without PG | |||
| 1999-11-18 | Failed attempt to trap C-g during try-update-thy. Left as comments. | David Aspinall | |
| 1999-11-17 | Remove some obsolete/unecessary stuff. | David Aspinall | |
| 1999-11-16 | Cleanups and a bit more highlighting | David Aspinall | |
| 1999-11-16 | Matching goals regexp. Comments. | David Aspinall | |
| 1999-11-15 | Removed font-lock settings. Set proof-font-lock-zap-commas=t | David Aspinall | |
| 1999-11-14 | Many robustness improvements for error and interrupt handling: | David Aspinall | |
| - Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet) | |||
| 1999-11-14 | More highlighting | David Aspinall | |
| 1999-11-14 | proof-nested-goals-allowed -> proof-completed-proof-behaviour | David Aspinall | |
| Patch for more flexible handling of closing goal...save regions after proof has been completed. | |||
| 1999-11-12 | More theory file sections | David Aspinall | |
| 1999-11-12 | Fixes for Isabelle in case theory file is visited before script file. | David Aspinall | |
| 1999-11-12 | Display qed message in goals buffer | David Aspinall | |
| 1999-11-11 | Next round of fixups for font-lock and x-symbol. | David Aspinall | |
| 1999-11-11 | Extensive fixes for x-symbol and font-lock. | David Aspinall | |
| 1999-11-10 | Removed unsociable key-bindings. | David Aspinall | |
| 1999-11-09 | Fixes for x-symbol activation/deactivation strings | David Aspinall | |
| 1999-11-09 | Arrange for activate-scripting to not block for interactive calls. | David Aspinall | |
| 1999-11-08 | Comments. | 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-10-29 | improved proof-shell-error-regexp; | Makarius Wenzel | |
| 1999-10-27 | isa-update-thy-only: 'try' option; | 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |