| Commit message (Expand) | Author | Age |
* | update by DvO; | Makarius Wenzel | 1999-08-20 |
* | proof-shell-start-goals-regexp: include \n; | Makarius Wenzel | 1999-08-18 |
* | isa-init-syntax-table moved here from isa.el; | Makarius Wenzel | 1999-08-18 |
* | replaced 'ProofGeneral' by 'Proof General'; | Makarius Wenzel | 1999-08-18 |
* | obsolete; | Makarius Wenzel | 1999-08-18 |
* | obsolete, use Isabelle's native ProofGeneral.init instead; | Makarius Wenzel | 1999-08-16 |
* | proof-shell-first-special-char ?\350; | Makarius Wenzel | 1999-08-16 |
* | tuned; | Makarius Wenzel | 1999-08-06 |
* | ProofGeneral interface wrapper for Isabelle/classic | Makarius Wenzel | 1999-08-06 |
* | Removed extra parenthesis. | David Aspinall | 1999-07-03 |
* | fixed some regexp via proof-anchor-regexp; | Makarius Wenzel | 1999-07-02 |
* | renamed proof-commands-regexp to proof-indent-commands-regexp, which | Makarius Wenzel | 1999-05-27 |
* | fixed syntax entry for "_" | Thomas Kleymann | 1999-02-03 |
* | Regexp bug. Use proof-string-match appropriately. | David Aspinall | 1999-02-01 |
* | Changed read-no-blanks-input to read-string, former is defunct. | David Aspinall | 1999-01-12 |
* | File sent by David von Oheimb. | David Aspinall | 1998-12-18 |
* | Docstring tweak | David Aspinall | 1998-12-15 |
* | Fixed broken check on proof-mode-hook. | David Aspinall | 1998-12-15 |
* | made many minor changes to the documentation | Thomas Kleymann | 1998-12-15 |
* | Altered behaviour to allow retraction part-way through finished scripts. | David Aspinall | 1998-12-11 |
* | Fix for splash hack for theory files when proo-splash-inhibit=t. | David Aspinall | 1998-12-10 |
* | Added clear-goals-buffer stuff, asked for response to be left after use_thy. | David Aspinall | 1998-11-26 |
* | Cleaned up, and made use_thy remove ML file from DB properly; | David Aspinall | 1998-11-25 |
* | Documentation improvements. | David Aspinall | 1998-11-25 |
* | FSF Emacs fix for buffer-file-truename, which is the | David Aspinall | 1998-11-25 |
* | Fixed show_context | David Aspinall | 1998-11-25 |
* | Fixes to debug long standing not-showing-first-goal problem. | David Aspinall | 1998-11-25 |
* | Added Isamode-like keybinding C-c C-l for proof-prf. | David Aspinall | 1998-11-25 |
* | Docstring fixes, minor improvements. | David Aspinall | 1998-11-25 |
* | Docstring fixes | David Aspinall | 1998-11-25 |
* | Improvements for multiple files and robustness: keep a copy of | David Aspinall | 1998-11-20 |
* | Improvements for multiple files. Now saves state specially for ProofGeneral. | David Aspinall | 1998-11-18 |
* | Added isa-update function. Altered settings. | David Aspinall | 1998-11-18 |
* | Fixed problem with list_loaded_files and update(). | David Aspinall | 1998-11-18 |
* | Added Proof General menu to theory file mode. | David Aspinall | 1998-11-18 |
* | Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneral | David Aspinall | 1998-11-18 |
* | Improvements and cleanups: | David Aspinall | 1998-11-18 |
* | new file to factor out improved theory reader junk. | David Aspinall | 1998-11-18 |
* | Bug in regexp | David Aspinall | 1998-11-12 |
* | In a fit of autocracy, removed proof-tags-support, binding for | David Aspinall | 1998-11-12 |
* | Fixed error regexp | David Aspinall | 1998-11-12 |
* | Fixed a regexp. | David Aspinall | 1998-11-12 |
* | Replaced custom-set-variables with customize-set-variable: | David Aspinall | 1998-11-12 |
* | Disabled problematic requires temporarily. | David Aspinall | 1998-11-10 |
* | Removed references of proof-shell-noise-regexp | Thomas Kleymann | 1998-11-10 |
* | Fixes for byte compilations and missing bits of Isamode. | David Aspinall | 1998-11-10 |
* | Removed superfluous variable. Improved docstrings. | David Aspinall | 1998-11-09 |
* | Added prefix arg to thy-find-other-file to use same window | David Aspinall | 1998-11-06 |
* | Added key binding to switch between theory and ML files. | David Aspinall | 1998-11-04 |
* | Reimplemented thy-find-other-file | David Aspinall | 1998-11-04 |