aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-05-09New setting on the way...David Aspinall
2000-05-09Added question about saving optionsDavid Aspinall
2000-05-09Set version tag for new release.David Aspinall
2000-05-09UpdatedDavid Aspinall
2000-05-09UpdatedDavid Aspinall
2000-05-09Fixup menus.David Aspinall
2000-05-09Fixup loading.David Aspinall
2000-05-09New fileDavid Aspinall
2000-05-09New project (unlinked yet)David Aspinall
2000-05-09Removed menus, keybinding. Removed compatibility hacks. Improved loading.David Aspinall
2000-05-09Improved loadingDavid Aspinall
2000-05-09Prevent proof-set-value until proof-config-loaded. (C) on splash screen.David Aspinall
2000-05-09Comments.David Aspinall
2000-05-09Removed autoloads, util functions.David Aspinall
2000-05-09Added some functions for developers.David Aspinall
2000-05-09Fixup branchDavid Aspinall
2000-05-09Moved code to proof-menu.elDavid Aspinall
2000-05-09Added proof-splice-separator.David Aspinall
2000-05-09Splash screen now shown from autoloaded function.David Aspinall
2000-05-09Remove use of cl. Add require on proof-autoloads.David Aspinall
2000-05-09Improve loadingDavid Aspinall
2000-05-09Fixup branchDavid Aspinall
2000-05-09New filesDavid Aspinall
2000-05-09Trivial.David Aspinall
2000-05-09Updated 3.2 changesDavid Aspinall
2000-05-09Added autoloads target.David Aspinall
2000-05-09EMACS -> BATCHEMACS varDavid Aspinall
2000-05-09Merged from 3.1.5David Aspinall
2000-05-09Added default targetDavid Aspinall
2000-05-07CommentsDavid Aspinall
2000-05-05Comment.David Aspinall
2000-05-05Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.David Aspinall
2000-05-05Missing paraDavid Aspinall
2000-05-05Buglet in htmlDavid Aspinall
2000-05-05Set version tag for new release.David Aspinall
2000-05-05Fix markup bug.David Aspinall
2000-05-05Expanded explanation of selecting Isar.David Aspinall
2000-05-05UpdatedDavid Aspinall
2000-05-05make clean removes Emacs backups. Probably safe...David Aspinall
2000-05-05Hot news about FAQ.David Aspinall
2000-05-05isa-system.el -> isabelle-system.elDavid Aspinall
2000-05-05Renamed fileDavid Aspinall
2000-05-05Expanded menuDavid Aspinall
2000-05-05Comments. Minor improvements for electric terminator and proof-follow-mode='...David Aspinall
2000-05-05Corrected header.David Aspinall
2000-05-05Moved code into proof-system and proof-utils.David Aspinall
2000-05-05Files for interfacing with proof system, e.g. maintaining settings.David Aspinall
2000-05-05General utility functions, moved from proof.elDavid Aspinall
2000-05-05Added menu entry for proof-goto-end-of-locked.David Aspinall
2000-05-05Added variables for customization groups so they can be set automatically.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 23:19:48 +0000