aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Program [broken]Gravatar David Aspinall2002-06-08
* Add types_code and friendsGravatar David Aspinall2002-06-05
* tuned isar-strip-terminators;Gravatar Makarius Wenzel2002-05-10
* tuned comment;Gravatar Makarius Wenzel2002-05-03
* tuned proof-next-error setup;Gravatar Makarius Wenzel2002-05-03
* Added support for proof-shell-next-errorGravatar David Aspinall2002-05-03
* Add support for proof-next-error.Gravatar David Aspinall2002-05-03
* option -g GEOMETRY;Gravatar Makarius Wenzel2002-02-12
* observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;Gravatar Makarius Wenzel2002-02-12
* added isar-undo-ignore-regexp;Gravatar Makarius Wenzel2002-02-12
* more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;Gravatar Makarius Wenzel2002-02-08
* tuned comment;Gravatar Makarius Wenzel2002-01-26
* Isabelle2002 instead of Isabelle2001;Gravatar Makarius Wenzel2002-01-21
* WhitespaceGravatar David Aspinall2002-01-16
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* tuned;Gravatar Makarius Wenzel2001-12-27
* updated;Gravatar Makarius Wenzel2001-12-27
* do not set proof-shell-quit-cmd (admits persistent sessions);Gravatar Makarius Wenzel2001-12-21
* incorporate smart X11 font installation (used to be in isatool installfonts);Gravatar Makarius Wenzel2001-12-12
* activate proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-12-05
* isar specific commands for bold/sup/sub;Gravatar Makarius Wenzel2001-12-04
* proof-shell-spill-output-regexp temporarily disabled;Gravatar Makarius Wenzel2001-11-24
* set proof-shell-spill-output-regexp;Gravatar Makarius Wenzel2001-11-20
* option -k for logic specific isar-keywords file;Gravatar Makarius Wenzel2001-11-13
* updated isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2001-11-07
* isar-goals-font-lock-keywords: more general goal pattern;Gravatar Makarius Wenzel2001-10-13
* added isar-help-induct-rules;Gravatar Makarius Wenzel2001-10-04
* isar-goals-font-lock-keywords: corollary;Gravatar Makarius Wenzel2001-09-10
* tuned usage;Gravatar Makarius Wenzel2001-09-06
* tuned proof text;Gravatar Makarius Wenzel2001-09-04
* added option -P: actually start Proof General (default true);Gravatar Makarius Wenzel2001-09-04
* tuned;Gravatar Makarius Wenzel2001-09-04
* no need to adjust the path to bash on the first line (due to /usr/bin/env);Gravatar Makarius Wenzel2001-09-04
* Set proof-goal-with-hole-regexpGravatar David Aspinall2001-09-03
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* handle relative heap paths gracefully;Gravatar Makarius Wenzel2001-08-31
* back to *official* Isabelle99-2 (later Isabelle dists will provideGravatar Makarius Wenzel2001-08-31
* new commands (proof terms, code generator);Gravatar Makarius Wenzel2001-08-31
* include ISABELLE_HOME_USER/etc/isar-keywords.el orGravatar Makarius Wenzel2001-08-30
* updated;Gravatar Makarius Wenzel2001-08-30
* proof-script-integral-proofs t;Gravatar Makarius Wenzel2001-08-30
* Change of proof span type back to goalsaveGravatar David Aspinall2001-08-28
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 13:43:53 +0000