aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-09-30Renamed fileDavid Aspinall
2005-09-30Renamed fileDavid Aspinall
2005-09-30Comments.David Aspinall
2005-09-30Remove proof-assistant-settings-cmd, now issued as standard.David Aspinall
2005-09-30Remove proof-shell-init-cmdDavid Aspinall
2005-09-30Add more user preferences, fix existing ones.David Aspinall
2005-09-30Issue proof-assistant-settings-cmd standardly after init cmd.David Aspinall
2005-09-30Rename PGIP packet attribute origin -> tagDavid Aspinall
2005-09-28old specials are recogized again;Makarius Wenzel
2005-09-28negotiate PGASCII only for proof-shell-unicode;Makarius Wenzel
2005-09-28Make robust against missing advice packageDavid Aspinall
2005-09-27Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...David Aspinall
2005-09-27Shorter aux buffer namesDavid Aspinall
2005-09-22updated from pre-Isabelle2005;Makarius Wenzel
2005-09-22Set version tag for new release.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-22Updated.David Aspinall
2005-09-22Addition from Tjark Weber for new commandsDavid Aspinall
2005-09-21Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"David Aspinall
2005-09-21Updated.David Aspinall
2005-09-21New files.David Aspinall
2005-09-21Select EMACS based on xemacs if available, otherwise emacsDavid Aspinall
2005-09-21Set version tag for new release.David Aspinall
2005-09-21Fix PGHOMEDEFAULTDavid Aspinall
2005-09-21Tweak.David Aspinall
2005-09-21Add command menuDavid Aspinall
2005-09-21back to xemacs as default;Makarius Wenzel
2005-09-19I do not remember \!Christophe Raffalli
2005-09-18better terminate ML code;Makarius Wenzel
2005-09-17removed (again) -- may use isar/interface -I false instead;Makarius Wenzel
2005-09-17update examples for Isabelle2005;Makarius Wenzel
2005-09-17proof-shell-wakeup-char ?\^AMakarius Wenzel
2005-09-16removed obsolete ML code;Makarius Wenzel
2005-09-15added note for large x-symbols;Makarius Wenzel
2005-09-15Set version tag for new release.David Aspinall
2005-09-14tuned comment;Makarius Wenzel
2005-09-14oops -- proper customize-set-variable;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;Makarius Wenzel
2005-09-14removed 8bit special chars for isar;Makarius Wenzel
2005-09-14added -m PGASCII for Isabelle/Isar process;Makarius Wenzel
2005-09-14observe PROOFGENERAL_UNICODE as passed by interface script;Makarius Wenzel
2005-09-14added option -U: Unicode (UTF-8) communication;Makarius Wenzel
2005-09-14refer to proof-shell-unicode for process-environment and coding-system;Makarius Wenzel
2005-09-14added proof-shell-unicode;Makarius Wenzel
2005-09-13tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-09-06tuned isar-keywords-theory-enclose;Makarius Wenzel
2005-09-02do not include leading space in parameter to isatool doc, i.e.Gerwin Klein
2005-09-01example output;Makarius Wenzel
2005-09-01added lemma;Makarius Wenzel
2005-09-01example theory involving unicode characters (utf-8 encoding);Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 07:52:32 +0000