aboutsummaryrefslogtreecommitdiff
path: root/isa/isa.el
AgeCommit message (Expand)Author
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-20Add isa-shell-update-thy at the end of proof-activate-scripting-hook.David Aspinall
1999-10-19Added uncaught exception to error-regexpDavid Aspinall
1999-10-19Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.David Aspinall
1999-10-19Deactivate scripting before retracting a theory file. Fix for DvO's report.David Aspinall
1999-10-15WhitespaceDavid Aspinall
1999-10-06Fix for state-preserving-pDavid Aspinall
1999-10-06Made new command proof-cd to cd to the directory of the currentDavid Aspinall
1999-10-06Turned off C-c C-l; fixed syntax for old result form; proof-showproof-command.David Aspinall
1999-10-06thy mode binding made to match with script modeDavid Aspinall
1999-10-01Renamed some configuration variables for uniformity, see CHANGES.David Aspinall
1999-09-30replaced isa-output-font-lock-terms by isa-output-font-lock-keywords-1;Makarius Wenzel
1999-09-29Enabled hack for proof-shell-leave-annotations-in-outputDavid Aspinall
1999-09-23Added setting for proof-find-theorems-command.David Aspinall
1999-09-22improved (?) proof-shell-proof-completed-regexp;Makarius Wenzel
1999-09-21Adjusted proof-shell-proof-completed-regexp to match against whole ofDavid Aspinall
1999-08-23Maintainer addressesDavid Aspinall
1999-08-23fixed comment;Makarius Wenzel
1999-08-23Added font-lock keywords and syntax table setup for buffers displayingDavid Aspinall
1999-08-20eliminated superficial ';'s;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
1999-08-16proof-shell-first-special-char ?\350;Makarius Wenzel
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Regexp bug. Use proof-string-match appropriately.David Aspinall
1998-12-15Fixed broken check on proof-mode-hook.David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-11Altered behaviour to allow retraction part-way through finished scripts.David Aspinall
1998-12-10Fix for splash hack for theory files when proo-splash-inhibit=t.David Aspinall
1998-11-26Added clear-goals-buffer stuff, asked for response to be left after use_thy.David Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
1998-11-25Fixes to debug long standing not-showing-first-goal problem.David Aspinall
1998-11-25Added Isamode-like keybinding C-c C-l for proof-prf.David Aspinall
1998-11-20Improvements for multiple files and robustness: keep a copy ofDavid Aspinall
1998-11-18Added isa-update function. Altered settings.David Aspinall
1998-11-18Fixed problem with list_loaded_files and update().David Aspinall
1998-11-18Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneralDavid Aspinall
1998-11-12Bug in regexpDavid Aspinall
1998-11-12In a fit of autocracy, removed proof-tags-support, binding forDavid Aspinall
1998-11-12Fixed error regexpDavid Aspinall
1998-11-12Replaced custom-set-variables with customize-set-variable:David Aspinall
1998-11-10Disabled problematic requires temporarily.David Aspinall
1998-11-10Removed references of proof-shell-noise-regexpThomas Kleymann
1998-11-10Fixes for byte compilations and missing bits of Isamode.David Aspinall
1998-11-09Removed superfluous variable. Improved docstrings.David Aspinall
1998-11-04Added key binding to switch between theory and ML files.David Aspinall
1998-11-03Disabled annotated prompts because of strange bug.David Aspinall
1998-11-03Work on improving regular expressions for Isabelle.David Aspinall
1998-11-02fixed minor bugsThomas Kleymann
1998-10-29Fixes for multiple files. More defcustoms.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 21:42:45 +0000