aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/ProofGeneral.ML
Commit message (Expand)AuthorAge
* obsolete, use Isabelle's native ProofGeneral.init instead;Gravatar Makarius Wenzel1999-08-16
* Altered behaviour to allow retraction part-way through finished scripts.Gravatar David Aspinall1998-12-11
* Added clear-goals-buffer stuff, asked for response to be left after use_thy.Gravatar David Aspinall1998-11-26
* Cleaned up, and made use_thy remove ML file from DB properly;Gravatar David Aspinall1998-11-25
* Fixed show_contextGravatar David Aspinall1998-11-25
* Fixes to debug long standing not-showing-first-goal problem.Gravatar David Aspinall1998-11-25
* Added Isamode-like keybinding C-c C-l for proof-prf.Gravatar David Aspinall1998-11-25
* Improvements for multiple files and robustness: keep a copy ofGravatar David Aspinall1998-11-20
* Improvements for multiple files. Now saves state specially for ProofGeneral.Gravatar David Aspinall1998-11-18
* Fixed problem with list_loaded_files and update().Gravatar David Aspinall1998-11-18
* Improvements and cleanups:Gravatar David Aspinall1998-11-18
* Fixed error regexpGravatar David Aspinall1998-11-12
* Disabled annotated prompts because of strange bug.Gravatar David Aspinall1998-11-03
* Changes suggested by Markus WenzelGravatar David Aspinall1998-11-02
* Fixes for multiple files. More defcustoms.Gravatar David Aspinall1998-10-29
* Begun work on adding more special annotations for Isabelle.Gravatar David Aspinall1998-10-29
* Improved behaviour of Isabelle multiple files: don't retract parent theory.Gravatar David Aspinall1998-10-28
* Some experimental code addedGravatar David Aspinall1998-10-28
* Fixed bug in Isabelle count undos. Now uses undo instead of choplev.Gravatar David Aspinall1998-10-28
* Work on Isabelle theory reader.Gravatar David Aspinall1998-10-27
* Changes for locked regions in theory filesGravatar David Aspinall1998-10-26
* Greatly simplified by new functions in IsabelleGravatar David Aspinall1998-10-23
* retract_file also works on files without .thy partners.Gravatar David Aspinall1998-10-22
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* Improved multiple file implementationGravatar David Aspinall1998-10-21
* Used new get_thy_filenames function from Isabelle 98-1Gravatar David Aspinall1998-10-21
* Customization for multiple filesGravatar David Aspinall1998-10-19
* Important regular expression fixes:Gravatar David Aspinall1998-10-12
* changed maintainer information to lego@dcs and isabelle@dcs .Gravatar Thomas Kleymann1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Renamed fileGravatar David Aspinall1998-10-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 03:20:28 +0000