aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-24added "done";Makarius Wenzel
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius Wenzel
2000-05-22replaced {{ }} by { };Makarius Wenzel
2000-05-19isar-verbatim-regexp: include \n;Makarius Wenzel
2000-05-17re-use isa/interface-setup.el rather than separate isar version;Makarius Wenzel
2000-05-16Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elDavid Aspinall
2000-05-12Modification of proof-shell-init-cmd. Markus, please help...David Aspinall
2000-05-11Load isabelle-system file shared with Isabelle Proof General.David Aspinall
2000-05-05Default to isa-mode or isar-mode according to first one invoked.David Aspinall
2000-04-25isar-indent regexps moved to isar-syntax.el;Makarius Wenzel
2000-04-25removed unused isar-ids;Makarius Wenzel
2000-04-25removed "simpset" minor keyword;Makarius Wenzel
2000-04-17added 'hide';Makarius Wenzel
2000-04-12fixed proof-mode-for-goals;Makarius Wenzel
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-06tuned \<bottom>;Makarius Wenzel
2000-04-05tuned todo stuff;Makarius Wenzel
2000-04-05improved print_mode switch;Makarius Wenzel
2000-04-05'welcome' made diagnostic;Makarius Wenzel
2000-04-05eliminated 'as' keyword;Makarius Wenzel
2000-04-04added 'print_claset', 'print_simpset';Makarius Wenzel
2000-04-03added 'ProofGeneral.undo';Makarius Wenzel
2000-03-27removed 'variables';Makarius Wenzel
2000-03-24Attempt to fix filename mess for Windows.David Aspinall
2000-03-23removed 'kill_proof';Makarius Wenzel
2000-03-23added 'moreover';Makarius Wenzel
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-19removed "thence";Makarius Wenzel
2000-03-19UpdatedDavid Aspinall
2000-03-19Added setting for silent mode.David Aspinall
2000-03-13New/updated information filesDavid Aspinall
2000-03-09added 'case', 'print_cases';Makarius Wenzel
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-14isar-tac-regexp: 'font-lock-reference-face;Makarius Wenzel
2000-02-14removed then_apply;Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
2000-02-11added "judgment";Makarius Wenzel
2000-02-10setup proof-shell-pre-interrupt-hook for Poly/ML;Makarius Wenzel
2000-02-09tuned indentation code;Makarius Wenzel
2000-02-09added isar-keywords-qed-global, isar-global-save-command-regexp;Makarius Wenzel
2000-02-09added 'oops';Makarius Wenzel
2000-01-28added prefer, defer;Makarius Wenzel
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
2000-01-06added "where";Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 18:43:46 +0000