aboutsummaryrefslogtreecommitdiff
path: root/isar/isar.el
AgeCommit message (Expand)Author
2000-09-17removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsMakarius Wenzel
2000-09-03removed unused variable C;Makarius Wenzel
2000-08-30use isar-markup-ml;Makarius Wenzel
2000-08-28Change name of mode: isar-proofscript-mode -> isar-mode and removeDavid Aspinall
2000-08-28cd command: add_path;Makarius Wenzel
2000-08-07cleaned up outline stuff;Makarius Wenzel
2000-08-03added isar-help functions / keys (how do I get keys into menus?);Makarius Wenzel
2000-07-19use ML_command to avoid unwanted output;Makarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-06tuned help-menu-entries;Makarius Wenzel
2000-07-01improved help menu;Makarius Wenzel
2000-06-27TidyDavid Aspinall
2000-06-16proper function-menu (fume) setup;Makarius Wenzel
2000-06-16Tuned x-symbol config, moved settings to isabelle-system.elDavid Aspinall
2000-06-09proof-shell-error-regexp;Makarius Wenzel
2000-06-08new indentation setup;Makarius Wenzel
2000-06-07Failed attempted hack to support ML files in isar mode (see comments in isar-...David Aspinall
2000-06-06Allowed ; to terminate a command by including it in regexp for cmdstartDavid Aspinall
2000-06-05proof-indent-commands-regexp: use proof-no-regexp;Makarius Wenzel
2000-06-05Temporary bug fix to solve nil span error messageDavid Aspinall
2000-06-04replaced isar-verbatim by isabelle-verbatim;Makarius Wenzel
2000-06-01Remove setting of proof-segment-up-toDavid Aspinall
2000-05-30isar-preprocessing inserts final terminator if none there.David Aspinall
2000-05-29Set settings format function before calculating initial command. Add hilit f...David Aspinall
2000-05-29Use generic default setting mechanism now. Add isar-markup-ml here.David Aspinall
2000-05-25Removed spurious code in isar-mode function.David Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-22replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsMakarius 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-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-12fixed proof-mode-for-goals;Makarius Wenzel
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-04-05improved print_mode switch;Makarius Wenzel
2000-03-24Attempt to fix filename mess for Windows.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 setting for silent mode.David Aspinall
2000-02-09tuned indentation code;Makarius Wenzel
2000-01-06Fixes for short output duplication problem: set proof-shell-eager-annotation-...David Aspinall
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-10fixed indentation bug: use proof-looking-at (proof-case-fold-search);Makarius Wenzel
1999-10-29improved proof-shell-error-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-07 08:50:24 +0000