aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-11-14actually revert to revision 8.15;Makarius Wenzel
2005-11-09Added holes to "math...with" generation from a type name.Pierre Courtieu
2005-11-09backtracking my change on functionPierre Courtieu
2005-11-08TypoDavid Aspinall
2005-11-07added match...with automatic building from atype name.Pierre Courtieu
2005-10-20bug fixChristophe Raffalli
2005-10-12added lock and unlock for unification variablesChristophe Raffalli
2005-10-04Set version tag for new release.David Aspinall
2005-10-04Make install-bin also install Isabelle and Lego scriptsDavid Aspinall
2005-09-30UpdatedDavid Aspinall
2005-09-30Set version tag for new release.David Aspinall
2005-09-30Fix multiple Isabelle submenus on mode popup.David Aspinall
2005-09-30Update xml.el issueDavid Aspinall
2005-09-30Dont overwrite distribution version of xml.el, only use fixed version for XEm...David Aspinall
2005-09-30Updated.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 14:30:53 +0000