aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-05-16Added scripts target to edit Isabelle scripts, patch from Mike Squire.David Aspinall
2000-05-12Notes about fixing docstring-magic.David Aspinall
2000-05-12UpdatedDavid Aspinall
2000-05-12Fixup menus a bit. Remove proof-prf on options change.David Aspinall
2000-05-12Remove proof-assistant-menu-entries, done generically now.David Aspinall
2000-05-12Modification of proof-shell-init-cmd. Markus, please help...David Aspinall
2000-05-12Added proof-defassfun. CommentsDavid Aspinall
2000-05-12Use (proof-ass X) instead of function call.David Aspinall
2000-05-12Several name changes isa- -> isabelle-, and made generic for IsarDavid Aspinall
2000-05-12CommentsDavid Aspinall
2000-05-12Specific keys begin C-c C-a, not C-c a.David Aspinall
2000-05-12Moved utility functions to proof-utils.David Aspinall
2000-05-12Fix to menu definition.David Aspinall
2000-05-12Fix to function nameDavid Aspinall
2000-05-12Fix note.David Aspinall
2000-05-11Set version tag for new release.David Aspinall
2000-05-11Explanatory commentsDavid Aspinall
2000-05-11Changes and compatibility fixes for specific menu/keybindings.David Aspinall
2000-05-11Load isabelle-system file shared with Isabelle Proof General.David Aspinall
Add default settings to proof-shell-init-cmd. Add Isabelle menu to menubar.
2000-05-11Generic help menu for Isabelle and Isabelle/Isar added.David Aspinall
Generalized option settings mechanism. Added simplifier tracing flag.
2000-05-11Moved generic settings to isabelle-system.el. ↵David Aspinall
isa-set-default-cmd->isabelle-set..
2000-05-11Changes and compatibility fixes for specific menu/keybindings.David Aspinall
2000-05-11UpdatedDavid Aspinall
2000-05-11Tidied page a bitDavid Aspinall
2000-05-11Note abut ;;;###autoload not working for define-derived-mode.David Aspinall
2000-05-11Use proof-deftoggle macro.David Aspinall
Comments about failure for ;;;###autoload cookie for define-derived-mode Attempted fixes for C-x C-w, C-x C-v, revert-buffer.
2000-05-11Compatibility hackDavid Aspinall
2000-05-11Use proof-deftoggle macro.David Aspinall
2000-05-11Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.David Aspinall
2000-05-11Extra arg to proof-splash-display-screen.David Aspinall
2000-05-11Menus and code cleanupDavid Aspinall
2000-05-11Removed duplicate declarationDavid Aspinall
2000-05-11Extra arg to proof-splash-display-screen to serve as an About box.David Aspinall
2000-05-11New mechanism for defining customization variables per-prover.David Aspinall
2000-05-11X-Symbol funny chars questionDavid Aspinall
2000-05-11Fixup branchDavid Aspinall
2000-05-11New fileDavid Aspinall
2000-05-09UpdatedDavid Aspinall
2000-05-09Added browsable CVS.David Aspinall
2000-05-09Note about desirable additions to IsabelleDavid Aspinall
2000-05-09New goal.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-24 11:08:40 +0000