aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
1999-09-21Fix for proof-shell-proof-completed-regexpDavid Aspinall
1999-09-21Adjusted proof-shell-proof-completed-regexp to match against whole ofDavid Aspinall
1999-09-13Cleaned up example files so all demonstrate same theorem "conj_comms".David Aspinall
1999-09-03added bind_thms;Makarius Wenzel
1999-09-03usage: tell PROOFGENERAL_OPTIONS;Makarius Wenzel
1999-08-29added ALLGOALS;Makarius Wenzel
1999-08-25added qed_spec_mp;Makarius Wenzel
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-23Improved syntax by copying from isar-syntax.el.David Aspinall
1999-08-20Disabled binder regexp font lockingDavid Aspinall
1999-08-20eliminated superficial ';'s;Makarius Wenzel
1999-08-20update by DvO;Makarius Wenzel
1999-08-18proof-shell-start-goals-regexp: include \n;Makarius Wenzel
1999-08-18isa-init-syntax-table moved here from isa.el;Makarius Wenzel
1999-08-18replaced 'ProofGeneral' by 'Proof General';Makarius Wenzel
1999-08-18obsolete;Makarius Wenzel
1999-08-16obsolete, use Isabelle's native ProofGeneral.init instead;Makarius Wenzel
1999-08-16proof-shell-first-special-char ?\350;Makarius Wenzel
1999-08-06tuned;Makarius Wenzel
1999-08-06ProofGeneral interface wrapper for Isabelle/classicMakarius Wenzel
1999-07-03Removed extra parenthesis.David Aspinall
1999-07-02fixed some regexp via proof-anchor-regexp;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
1999-01-12Changed read-no-blanks-input to read-string, former is defunct.David Aspinall
1998-12-18File sent by David von Oheimb.David Aspinall
1998-12-15Docstring tweakDavid 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-25Cleaned up, and made use_thy remove ML file from DB properly;David Aspinall
1998-11-25Documentation improvements.David Aspinall
1998-11-25FSF Emacs fix for buffer-file-truename, which is theDavid Aspinall
1998-11-25Fixed show_contextDavid 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-25Docstring fixes, minor improvements.David Aspinall
1998-11-25Docstring fixesDavid Aspinall
1998-11-20Improvements for multiple files and robustness: keep a copy ofDavid Aspinall
1998-11-18Improvements for multiple files. Now saves state specially for ProofGeneral.David 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 Proof General menu to theory file mode.David Aspinall
1998-11-18Added clear_response_buffer regexp, use_thy_and_update now in ProofGeneralDavid Aspinall
1998-11-18Improvements and cleanups:David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 16:18:24 +0000