aboutsummaryrefslogtreecommitdiff
path: root/isa
AgeCommit message (Expand)Author
2000-03-23Updated Isabelle home page.David Aspinall
2000-03-22Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...David Aspinall
2000-03-22Fix other file commands to use %e substitution.David Aspinall
2000-03-22Use new format character %s to %e to cope with nasty filenames with backslashes.David Aspinall
2000-03-22transparent cd;Makarius Wenzel
2000-03-19Added settings for silent control.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-10DocstringsDavid Aspinall
2000-03-10Added menu item to switch to script buffer, C-c C-o key.David Aspinall
2000-03-09Updated headers.David Aspinall
2000-03-09UpdatedDavid Aspinall
2000-03-09Added README files for each prover, summarizing status.David Aspinall
2000-03-08Split low-level todo into several files.David Aspinall
2000-02-23tuned electric-ignore;Makarius Wenzel
2000-02-15fix electric-ignore (due to DvO);Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
2000-02-07fixed proof-shell-error-regexp;Makarius Wenzel
2000-01-12CommentsDavid Aspinall
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
1999-11-29Change SML minor mode binding to C-c C-m, avoiding clash withDavid Aspinall
1999-11-29Add universal keys to theory modeDavid Aspinall
1999-11-26Fix to proof-shell-proof-completed-regexp by reverting to previous version.David Aspinall
1999-11-24Made thy-indent-level a user opt.David Aspinall
1999-11-23Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by MarkusDavid Aspinall
1999-11-22tuned faces;Makarius Wenzel
1999-11-19Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use thi...David Aspinall
1999-11-18Failed attempt to trap C-g during try-update-thy. Left as comments.David Aspinall
1999-11-17Remove some obsolete/unecessary stuff.David Aspinall
1999-11-16Cleanups and a bit more highlightingDavid Aspinall
1999-11-16Matching goals regexp. Comments.David Aspinall
1999-11-15Removed font-lock settings. Set proof-font-lock-zap-commas=tDavid Aspinall
1999-11-14Many robustness improvements for error and interrupt handling:David Aspinall
1999-11-14More highlightingDavid Aspinall
1999-11-14proof-nested-goals-allowed -> proof-completed-proof-behaviourDavid Aspinall
1999-11-12More theory file sectionsDavid Aspinall
1999-11-12Fixes for Isabelle in case theory file is visited before script file.David Aspinall
1999-11-12Display qed message in goals bufferDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
1999-11-10Removed unsociable key-bindings.David Aspinall
1999-11-09Fixes for x-symbol activation/deactivation stringsDavid Aspinall
1999-11-09Arrange for activate-scripting to not block for interactive calls.David Aspinall
1999-11-08Comments.David Aspinall
1999-11-08Typo.David Aspinall
1999-11-08Changed web page to official one.David Aspinall
1999-10-29improved proof-shell-error-regexp;Makarius Wenzel
1999-10-27isa-update-thy-only: 'try' option;Makarius Wenzel
1999-10-26ProofGeneral.inform_file_processed/retracted;Makarius Wenzel
1999-10-26tuned proof-shell-error-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 02:45:04 +0000