aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isar.el
Commit message (Expand)AuthorAge
* tuned comment;Gravatar Makarius Wenzel2000-09-21
* isar-toolbar-entries: remove 'goal and 'qed;Gravatar Makarius Wenzel2000-09-19
* removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsGravatar Makarius Wenzel2000-09-17
* removed unused variable C;Gravatar Makarius Wenzel2000-09-03
* use isar-markup-ml;Gravatar Makarius Wenzel2000-08-30
* Change name of mode: isar-proofscript-mode -> isar-mode and removeGravatar David Aspinall2000-08-28
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
* cleaned up outline stuff;Gravatar Makarius Wenzel2000-08-07
* added isar-help functions / keys (how do I get keys into menus?);Gravatar Makarius Wenzel2000-08-03
* use ML_command to avoid unwanted output;Gravatar Makarius Wenzel2000-07-19
* proof-prog-name: use isabelle-command-line;Gravatar Makarius Wenzel2000-07-08
* tuned help-menu-entries;Gravatar Makarius Wenzel2000-07-06
* improved help menu;Gravatar Makarius Wenzel2000-07-01
* TidyGravatar David Aspinall2000-06-27
* proper function-menu (fume) setup;Gravatar Makarius Wenzel2000-06-16
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* proof-shell-error-regexp;Gravatar Makarius Wenzel2000-06-09
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* Failed attempted hack to support ML files in isar mode (see comments in isar-...Gravatar David Aspinall2000-06-07
* Allowed ; to terminate a command by including it in regexp for cmdstartGravatar David Aspinall2000-06-06
* proof-indent-commands-regexp: use proof-no-regexp;Gravatar Makarius Wenzel2000-06-05
* Temporary bug fix to solve nil span error messageGravatar David Aspinall2000-06-05
* replaced isar-verbatim by isabelle-verbatim;Gravatar Makarius Wenzel2000-06-04
* Remove setting of proof-segment-up-toGravatar David Aspinall2000-06-01
* isar-preprocessing inserts final terminator if none there.Gravatar David Aspinall2000-05-30
* Set settings format function before calculating initial command. Add hilit f...Gravatar David Aspinall2000-05-29
* Use generic default setting mechanism now. Add isar-markup-ml here.Gravatar David Aspinall2000-05-29
* Removed spurious code in isar-mode function.Gravatar David Aspinall2000-05-25
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsGravatar Makarius Wenzel2000-05-22
* isar-verbatim-regexp: include \n;Gravatar Makarius Wenzel2000-05-19
* re-use isa/interface-setup.el rather than separate isar version;Gravatar Makarius Wenzel2000-05-17
* Modification of proof-shell-init-cmd. Markus, please help...Gravatar David Aspinall2000-05-12
* Load isabelle-system file shared with Isabelle Proof General.Gravatar David Aspinall2000-05-11
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
* isar-indent regexps moved to isar-syntax.el;Gravatar Makarius Wenzel2000-04-25
* fixed proof-mode-for-goals;Gravatar Makarius Wenzel2000-04-12
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Fix other file commands to use %e substitution.Gravatar David Aspinall2000-03-22
* Use new format character %s to %e to cope with nasty filenames with backslashes.Gravatar David Aspinall2000-03-22
* transparent cd;Gravatar Makarius Wenzel2000-03-22
* Added setting for silent mode.Gravatar David Aspinall2000-03-19
* tuned indentation code;Gravatar Makarius Wenzel2000-02-09
* Fixes for short output duplication problem: set proof-shell-eager-annotation-...Gravatar David Aspinall2000-01-06
* Typo.Gravatar David Aspinall1999-11-18
* cleaned;Gravatar Makarius Wenzel1999-11-17
* Comment out some obsolete/unecessary stuff. Add X-Symbol supportGravatar David Aspinall1999-11-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 02:06:00 +0000