aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2000-05-12
* Fixup menus a bit. Remove proof-prf on options change.Gravatar David Aspinall2000-05-12
* Remove proof-assistant-menu-entries, done generically now.Gravatar David Aspinall2000-05-12
* Modification of proof-shell-init-cmd. Markus, please help...Gravatar David Aspinall2000-05-12
* Added proof-defassfun. CommentsGravatar David Aspinall2000-05-12
* Use (proof-ass X) instead of function call.Gravatar David Aspinall2000-05-12
* Several name changes isa- -> isabelle-, and made generic for IsarGravatar David Aspinall2000-05-12
* CommentsGravatar David Aspinall2000-05-12
* Specific keys begin C-c C-a, not C-c a.Gravatar David Aspinall2000-05-12
* Moved utility functions to proof-utils.Gravatar David Aspinall2000-05-12
* Fix to menu definition.Gravatar David Aspinall2000-05-12
* Fix to function nameGravatar David Aspinall2000-05-12
* Fix note.Gravatar David Aspinall2000-05-12
* Set version tag for new release.Gravatar David Aspinall2000-05-11
* Explanatory commentsGravatar David Aspinall2000-05-11
* Changes and compatibility fixes for specific menu/keybindings.Gravatar David Aspinall2000-05-11
* Load isabelle-system file shared with Isabelle Proof General.Gravatar David Aspinall2000-05-11
* Generic help menu for Isabelle and Isabelle/Isar added.Gravatar David Aspinall2000-05-11
* Moved generic settings to isabelle-system.el. isa-set-default-cmd->isabelle-s...Gravatar David Aspinall2000-05-11
* Changes and compatibility fixes for specific menu/keybindings.Gravatar David Aspinall2000-05-11
* UpdatedGravatar David Aspinall2000-05-11
* Tidied page a bitGravatar David Aspinall2000-05-11
* Note abut ;;;###autoload not working for define-derived-mode.Gravatar David Aspinall2000-05-11
* Use proof-deftoggle macro.Gravatar David Aspinall2000-05-11
* Compatibility hackGravatar David Aspinall2000-05-11
* Use proof-deftoggle macro.Gravatar David Aspinall2000-05-11
* Fix for funnily named provers (Isabelle/Isar) and Emacs compatibility.Gravatar David Aspinall2000-05-11
* Extra arg to proof-splash-display-screen.Gravatar David Aspinall2000-05-11
* Menus and code cleanupGravatar David Aspinall2000-05-11
* Removed duplicate declarationGravatar David Aspinall2000-05-11
* Extra arg to proof-splash-display-screen to serve as an About box.Gravatar David Aspinall2000-05-11
* New mechanism for defining customization variables per-prover.Gravatar David Aspinall2000-05-11
* X-Symbol funny chars questionGravatar David Aspinall2000-05-11
* Fixup branchGravatar David Aspinall2000-05-11
* New fileGravatar David Aspinall2000-05-11
* UpdatedGravatar David Aspinall2000-05-09
* Added browsable CVS.Gravatar David Aspinall2000-05-09
* Note about desirable additions to IsabelleGravatar David Aspinall2000-05-09
* New goal.Gravatar David Aspinall2000-05-09
* New setting on the way...Gravatar David Aspinall2000-05-09
* Added question about saving optionsGravatar David Aspinall2000-05-09
* Set version tag for new release.Gravatar David Aspinall2000-05-09
* UpdatedGravatar David Aspinall2000-05-09
* UpdatedGravatar David Aspinall2000-05-09
* Fixup menus.Gravatar David Aspinall2000-05-09
* Fixup loading.Gravatar David Aspinall2000-05-09
* New fileGravatar David Aspinall2000-05-09
* New project (unlinked yet)Gravatar David Aspinall2000-05-09
* Removed menus, keybinding. Removed compatibility hacks. Improved loading.Gravatar David Aspinall2000-05-09
* Improved loadingGravatar David Aspinall2000-05-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 20:48:22 +0000