aboutsummaryrefslogtreecommitdiff
path: root/isa/ProofGeneral.ML
AgeCommit message (Collapse)Author
1998-11-18Improvements and cleanups:David Aspinall
. Put functions into ProofGeneral structure . Annotations around ordinary output appear before cr's . Added clear_response_buffer functionw . Added special_theories to avoid looking up filenames of theories which don't have them
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
-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
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-04-23 05:35:44 +0000