aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Change buffer-syntactic-context -> proof-buffer-syntactic-contextGravatar David Aspinall2001-08-10
* preliminary addition of "corollary";Gravatar Makarius Wenzel2001-05-18
* proof-xsym-deactivate-command: use Library.gen_rems (op =) to avoid \\\\;Gravatar Makarius Wenzel2001-01-18
* proof-string-match;Gravatar Makarius Wenzel2001-01-12
* proper font-lock of isar-keywords-proof-heading;Gravatar Makarius Wenzel2001-01-10
* added "recdef_tc";Gravatar Makarius Wenzel2001-01-03
* include x-symbol-isabelle-font-lock-keywords in shell/goals/response buffers;Gravatar Makarius Wenzel2000-12-28
* improved isar-string regexp;Gravatar Makarius Wenzel2000-12-28
* tuned font lock;Gravatar Makarius Wenzel2000-12-23
* goalsave -> proofGravatar David Aspinall2000-12-20
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-12-06
* added -m option;Gravatar Makarius Wenzel2000-12-01
* disable trace option;Gravatar Makarius Wenzel2000-11-22
* converted from sh back to bash;Gravatar Makarius Wenzel2000-11-21
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2000-10-31
* tuned font-lock-keywords;Gravatar Makarius Wenzel2000-10-30
* font-lock support for antiquotations;Gravatar Makarius Wenzel2000-10-26
* isar-web-page;Gravatar Makarius Wenzel2000-09-28
* ** C func-menu: observe proof-syntactic-context (general problem ofGravatar Makarius Wenzel2000-09-27
* removed broken outline stuff;Gravatar Makarius Wenzel2000-09-27
* tuned docstring;Gravatar Makarius Wenzel2000-09-27
* use plain /bin/sh instead of bash;Gravatar Makarius Wenzel2000-09-21
* ** 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 13:19:00 +0000