aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Shorter aux buffer namesGravatar David Aspinall2005-09-27
* updated from pre-Isabelle2005;Gravatar Makarius Wenzel2005-09-22
* Set version tag for new release.Gravatar David Aspinall2005-09-22
* Updated.Gravatar David Aspinall2005-09-22
* Updated.Gravatar David Aspinall2005-09-22
* Addition from Tjark Weber for new commandsGravatar David Aspinall2005-09-22
* Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"Gravatar David Aspinall2005-09-21
* Updated.Gravatar David Aspinall2005-09-21
* New files.Gravatar David Aspinall2005-09-21
* Select EMACS based on xemacs if available, otherwise emacsGravatar David Aspinall2005-09-21
* Set version tag for new release.Gravatar David Aspinall2005-09-21
* Fix PGHOMEDEFAULTGravatar David Aspinall2005-09-21
* Tweak.Gravatar David Aspinall2005-09-21
* Add command menuGravatar David Aspinall2005-09-21
* back to xemacs as default;Gravatar Makarius Wenzel2005-09-21
* I do not remember \!Gravatar Christophe Raffalli2005-09-19
* better terminate ML code;Gravatar Makarius Wenzel2005-09-18
* removed (again) -- may use isar/interface -I false instead;Gravatar Makarius Wenzel2005-09-17
* update examples for Isabelle2005;Gravatar Makarius Wenzel2005-09-17
* proof-shell-wakeup-char ?\^AGravatar Makarius Wenzel2005-09-17
* removed obsolete ML code;Gravatar Makarius Wenzel2005-09-16
* added note for large x-symbols;Gravatar Makarius Wenzel2005-09-15
* Set version tag for new release.Gravatar David Aspinall2005-09-15
* tuned comment;Gravatar Makarius Wenzel2005-09-14
* oops -- proper customize-set-variable;Gravatar Makarius Wenzel2005-09-14
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14
* removed 8bit special chars for isar;Gravatar Makarius Wenzel2005-09-14
* added -m PGASCII for Isabelle/Isar process;Gravatar Makarius Wenzel2005-09-14
* observe PROOFGENERAL_UNICODE as passed by interface script;Gravatar Makarius Wenzel2005-09-14
* added option -U: Unicode (UTF-8) communication;Gravatar Makarius Wenzel2005-09-14
* refer to proof-shell-unicode for process-environment and coding-system;Gravatar Makarius Wenzel2005-09-14
* added proof-shell-unicode;Gravatar Makarius Wenzel2005-09-14
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-09-13
* tuned isar-keywords-theory-enclose;Gravatar Makarius Wenzel2005-09-06
* do not include leading space in parameter to isatool doc, i.e.Gravatar Gerwin Klein2005-09-02
* example output;Gravatar Makarius Wenzel2005-09-01
* added lemma;Gravatar Makarius Wenzel2005-09-01
* example theory involving unicode characters (utf-8 encoding);Gravatar Makarius Wenzel2005-09-01
* renamed thms_containing to find_theorems;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* special regexps: include PGASCII version;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* tuned ML code for manipulating print_mode;Gravatar Makarius Wenzel2005-09-01
* moved pg-special-char-regexp to proof-config.el;Gravatar Makarius Wenzel2005-09-01
* added proof-search-forward, proof-replace-regexp-in-string;Gravatar Makarius Wenzel2005-09-01
* eager message: perform pg-remove-specials-in-string after pg-assoc-strip-subt...Gravatar Makarius Wenzel2005-09-01
* added pg-special-char-regexp (used to be a constant in proof-utils.el);Gravatar Makarius Wenzel2005-09-01
* prefer emacs over xemacs, which rarely works out of the box;Gravatar Makarius Wenzel2005-08-30
* added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);Gravatar Makarius Wenzel2005-08-26
* proof-defshortcut isar-local: \<^loc>;Gravatar Makarius Wenzel2005-08-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 18:57:51 +0000