aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* isar-any-command-regexp;Gravatar Makarius Wenzel2000-05-26
* isar-keywords-major;Gravatar Makarius Wenzel2000-05-26
* 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
* added "done";Gravatar Makarius Wenzel2000-05-24
* replaced proof-ids-to-regexp by isar-ids-to-regexp, which admitsGravatar Makarius Wenzel2000-05-22
* replaced {{ }} by { };Gravatar 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
* Move setting of proof-shell-pre-interrupt-hook to isabelle-system.elGravatar David Aspinall2000-05-16
* 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
* removed unused isar-ids;Gravatar Makarius Wenzel2000-04-25
* removed "simpset" minor keyword;Gravatar Makarius Wenzel2000-04-25
* added 'hide';Gravatar Makarius Wenzel2000-04-17
* fixed proof-mode-for-goals;Gravatar Makarius Wenzel2000-04-12
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* tuned \<bottom>;Gravatar Makarius Wenzel2000-04-06
* tuned todo stuff;Gravatar Makarius Wenzel2000-04-05
* improved print_mode switch;Gravatar Makarius Wenzel2000-04-05
* 'welcome' made diagnostic;Gravatar Makarius Wenzel2000-04-05
* eliminated 'as' keyword;Gravatar Makarius Wenzel2000-04-05
* added 'print_claset', 'print_simpset';Gravatar Makarius Wenzel2000-04-04
* added 'ProofGeneral.undo';Gravatar Makarius Wenzel2000-04-03
* removed 'variables';Gravatar Makarius Wenzel2000-03-27
* Attempt to fix filename mess for Windows.Gravatar David Aspinall2000-03-24
* removed 'kill_proof';Gravatar Makarius Wenzel2000-03-23
* added 'moreover';Gravatar Makarius Wenzel2000-03-23
* 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
* removed "thence";Gravatar Makarius Wenzel2000-03-19
* UpdatedGravatar David Aspinall2000-03-19
* Added setting for silent mode.Gravatar David Aspinall2000-03-19
* New/updated information filesGravatar David Aspinall2000-03-13
* added 'case', 'print_cases';Gravatar Makarius Wenzel2000-03-09
* Split low-level todo into several files.Gravatar David Aspinall2000-03-08
* tuned electric-ignore;Gravatar Makarius Wenzel2000-02-23
* fix electric-ignore (due to DvO);Gravatar Makarius Wenzel2000-02-15
* isar-tac-regexp: 'font-lock-reference-face;Gravatar Makarius Wenzel2000-02-14
* removed then_apply;Gravatar Makarius Wenzel2000-02-14
* option -x: enable x-symbol package;Gravatar Makarius Wenzel2000-02-11
* added "judgment";Gravatar Makarius Wenzel2000-02-11
* setup proof-shell-pre-interrupt-hook for Poly/ML;Gravatar Makarius Wenzel2000-02-10
* tuned indentation code;Gravatar Makarius Wenzel2000-02-09
* added isar-keywords-qed-global, isar-global-save-command-regexp;Gravatar Makarius Wenzel2000-02-09
* added 'oops';Gravatar Makarius Wenzel2000-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 12:59:35 +0000