aboutsummaryrefslogtreecommitdiff
path: root/isar
AgeCommit message (Expand)Author
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
1999-12-30fixed isar-keywords-local-goal-regexp;Makarius Wenzel
1999-11-22tuned faces;Makarius Wenzel
1999-11-18Typo.David Aspinall
1999-11-17cleaned;Makarius Wenzel
1999-11-17Comment out some obsolete/unecessary stuff. Add X-Symbol supportDavid Aspinall
1999-11-17Support for X-SymbolDavid Aspinall
1999-11-10fixed indentation bug: use proof-looking-at (proof-case-fold-search);Makarius Wenzel
1999-10-29improved proof-shell-error-regexp;Makarius Wenzel
1999-10-27(try_)context_thy_only;Makarius Wenzel
1999-10-26tuned proof-shell-error-regexp;Makarius Wenzel
1999-10-26ProofGeneral.kill_proof: clears goals buffer;Makarius Wenzel
1999-10-26replaced remove_thy by kill_thy (more robust);Makarius Wenzel
1999-10-26added kill_thy, touch_child_thys;Makarius Wenzel
1999-10-22isar-remove-file: compare basenames only;Makarius Wenzel
1999-10-21Changed name of proof-shell-cd-cmd for uniformity.David Aspinall
1999-10-20theory loader actions now that of PG/isa;Makarius Wenzel
1999-10-20added ML_command;Makarius Wenzel
1999-10-19added isar-detect-header;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 07:21:55 +0000