aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Dont overwrite distribution version of xml.el, only use fixed version for XEm...Gravatar David Aspinall2005-09-30
* Updated.Gravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Comments.Gravatar David Aspinall2005-09-30
* Remove proof-assistant-settings-cmd, now issued as standard.Gravatar David Aspinall2005-09-30
* Remove proof-shell-init-cmdGravatar David Aspinall2005-09-30
* Add more user preferences, fix existing ones.Gravatar David Aspinall2005-09-30
* Issue proof-assistant-settings-cmd standardly after init cmd.Gravatar David Aspinall2005-09-30
* Rename PGIP packet attribute origin -> tagGravatar David Aspinall2005-09-30
* old specials are recogized again;Gravatar Makarius Wenzel2005-09-28
* negotiate PGASCII only for proof-shell-unicode;Gravatar Makarius Wenzel2005-09-28
* Make robust against missing advice packageGravatar David Aspinall2005-09-28
* Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...Gravatar David Aspinall2005-09-27
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 19:23:33 +0000