aboutsummaryrefslogtreecommitdiff
path: root/isa/ProofGeneral.ML
AgeCommit message (Expand)Author
1999-08-16obsolete, use Isabelle's native ProofGeneral.init instead;Makarius Wenzel
1998-12-11Altered behaviour to allow retraction part-way through finished scripts.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-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-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-18Fixed problem with list_loaded_files and update().David Aspinall
1998-11-18Improvements and cleanups:David Aspinall
1998-11-12Fixed error regexpDavid Aspinall
1998-11-03Disabled annotated prompts because of strange bug.David Aspinall
1998-11-02Changes suggested by Markus WenzelDavid Aspinall
1998-10-29Fixes for multiple files. More defcustoms.David Aspinall
1998-10-29Begun work on adding more special annotations for Isabelle.David Aspinall
1998-10-28Improved behaviour of Isabelle multiple files: don't retract parent theory.David Aspinall
1998-10-28Some experimental code addedDavid Aspinall
1998-10-28Fixed bug in Isabelle count undos. Now uses undo instead of choplev.David Aspinall
1998-10-27Work on Isabelle theory reader.David Aspinall
1998-10-26Changes for locked regions in theory filesDavid Aspinall
1998-10-23Greatly simplified by new functions in IsabelleDavid Aspinall
1998-10-22retract_file also works on files without .thy partners.David Aspinall
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21Improved multiple file implementationDavid Aspinall
1998-10-21Used new get_thy_filenames function from Isabelle 98-1David Aspinall
1998-10-19Customization for multiple filesDavid Aspinall
1998-10-12Important regular expression fixes:David Aspinall
1998-10-02changed maintainer information to lego@dcs and isabelle@dcs .Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 00:21:06 +0000