aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* ** D support proof-next-error?Gravatar Makarius Wenzel2000-09-21
* tuned comment;Gravatar Makarius Wenzel2000-09-21
* added -X option;Gravatar Makarius Wenzel2000-09-20
* made \<> word characters (accomodates symbol representation);Gravatar Makarius Wenzel2000-09-19
* installfonts only when using X window system;Gravatar Makarius Wenzel2000-09-19
* isar-toolbar-entries: remove 'goal and 'qed;Gravatar Makarius Wenzel2000-09-19
* removed junk;Gravatar Makarius Wenzel2000-09-19
* isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Gravatar Makarius Wenzel2000-09-19
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
* complete set of keywords from IOA image;Gravatar Makarius Wenzel2000-09-18
* removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsGravatar Makarius Wenzel2000-09-17
* -I option for Isar vs. classic Isabelle mode;Gravatar Makarius Wenzel2000-09-17
* isatool installfonts (for remote X-Symbol fonts);Gravatar Makarius Wenzel2000-09-15
* done: make help key bindings appear in "Show me ..." menu;Gravatar Makarius Wenzel2000-09-13
* removed "of", "congs";Gravatar Makarius Wenzel2000-09-07
* removed unused variable C;Gravatar Makarius Wenzel2000-09-03
* more quoting;Gravatar Makarius Wenzel2000-09-02
* use isar-markup-ml;Gravatar Makarius Wenzel2000-08-30
* syntax: "?" made word char;Gravatar Makarius Wenzel2000-08-29
* Change name of mode: isar-proofscript-mode -> isar-mode and removeGravatar David Aspinall2000-08-28
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
* -w false implies -x false;Gravatar Makarius Wenzel2000-08-28
* isar-keywords-proof-improper;Gravatar Makarius Wenzel2000-08-16
* added isar-keywords-proof-improper;Gravatar Makarius Wenzel2000-08-16
* added outline mode setup (still not quite working as expected);Gravatar Makarius Wenzel2000-08-07
* cleaned up outline stuff;Gravatar Makarius Wenzel2000-08-07
* new category isar-keywords-proof-heading;Gravatar Makarius Wenzel2000-08-07
* ** B make help key bindings appear in "Show me ..." menu;Gravatar Makarius Wenzel2000-08-03
* added isar-help functions / keys (how do I get keys into menus?);Gravatar Makarius Wenzel2000-08-03
* fixed isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-07-29
* added "thm_deps", "overloaded";Gravatar Makarius Wenzel2000-07-29
* 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
* removed 'help';Gravatar Makarius Wenzel2000-07-01
* added method_setup;Gravatar Makarius Wenzel2000-06-30
* Note about typing in shell bufferGravatar David Aspinall2000-06-27
* TidyGravatar David Aspinall2000-06-27
* Extra note.Gravatar David Aspinall2000-06-22
* proper function-menu (fume) setup;Gravatar Makarius Wenzel2000-06-16
* Tuned x-symbol config, moved settings to isabelle-system.elGravatar David Aspinall2000-06-16
* Deleted files.Gravatar David Aspinall2000-06-16
* Note to mergeGravatar David Aspinall2000-06-15
* new indentation setup;Gravatar Makarius Wenzel2000-06-10
* proof-shell-error-regexp;Gravatar Makarius Wenzel2000-06-09
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* new indentation setup;Gravatar Makarius Wenzel2000-06-08
* isar-keywords-proof-open/close;Gravatar Makarius Wenzel2000-06-08
* proper indentation;Gravatar Makarius Wenzel2000-06-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 20:54:31 +0000