aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-07-13Set version tag for new release.David Aspinall
2000-07-13Add Isabelle interface scripts to RPMDavid Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-12UpdatedDavid Aspinall
2000-07-12Minor updatesDavid Aspinall
2000-07-12Update autoloads.David Aspinall
2000-07-12Make proof-splash-message autoload.David Aspinall
2000-07-08isabelle-command-line: try to be smart in ensuring proper IsabelleMakarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-08proof-prog-name: use isabelle-command-line;Makarius Wenzel
2000-07-08do not change isabelle-prog-name here;Makarius Wenzel
2000-07-06tuned help-menu-entries;Makarius Wenzel
2000-07-05Set version tag for new release.David Aspinall
2000-07-05UpdatedDavid Aspinall
2000-07-05Fix to make back() undoable.David Aspinall
2000-07-04Set version tag for new release.David Aspinall
2000-07-04CVS web scriptDavid Aspinall
2000-07-04Changes for CVS web style fixupDavid Aspinall
2000-07-04Ignore file for xvpics put there by gimpDavid Aspinall
2000-07-03Set version tag for new release.David Aspinall
2000-07-03Note about trapping errorsDavid Aspinall
2000-07-03UpdatedDavid Aspinall
2000-07-03quick-and-dirty t by default;Makarius Wenzel
2000-07-03Patch to cope gracefully with empty list of Isabelle documents.David Aspinall
2000-07-01activate global-timing;Makarius Wenzel
2000-07-01improved help menu;Makarius Wenzel
2000-07-01removed 'help';Makarius Wenzel
2000-07-01tuned docs menu;Makarius Wenzel
2000-06-30added method_setup;Makarius Wenzel
2000-06-29Set version tag for new release.David Aspinall
2000-06-29Added quick-and-dirty setting -- we can still argue about the default, 8-)David Aspinall
2000-06-27Set version tag for new release.David Aspinall
2000-06-27Minor tweak.David Aspinall
2000-06-27UpdatedDavid Aspinall
2000-06-27Note about typing in shell bufferDavid Aspinall
2000-06-27TidyDavid Aspinall
2000-06-27Added tag to force Isar modeDavid Aspinall
2000-06-26Fix mark buffer atomic problem (caused multiple file oddity with Isar), for n...David Aspinall
2000-06-22Set version tag for new release.David Aspinall
2000-06-22Added missing proof.David Aspinall
2000-06-22Extra note.David Aspinall
2000-06-22XEmacs only noteDavid Aspinall
2000-06-22Rearranged, more info about X-Sym probsDavid Aspinall
2000-06-22Remove modeline from extra frames (in XEmacs).David Aspinall
2000-06-22Added back defconsts for face names needed for FSF Emacs.David Aspinall
2000-06-22somme little changes to make undo work betterPierre Courtieu
2000-06-19Set version tag for new release.David Aspinall
2000-06-19Fix typo causing missing proof-shell-pre-interrupt-hook.David Aspinall
2000-06-19Fix typoDavid Aspinall
2000-06-19Updated list of helpers. TypoDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 16:19:02 +0000