aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Docstring fixGravatar David Aspinall2000-05-16
* Fixes for defining favourites, added warning for pre-release users.Gravatar David Aspinall2000-05-16
* Added proof-ready-for-assistant function to help docstring magic.Gravatar David Aspinall2000-05-16
* Comment addedGravatar David Aspinall2000-05-16
* Add proof-strict-state-preserving settingGravatar David Aspinall2000-05-16
* Added version string to splash. Added proof-strict-state-preservingGravatar David Aspinall2000-05-16
* Added proof-defassfun. CommentsGravatar David Aspinall2000-05-12
* Use (proof-ass X) instead of function call.Gravatar 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 function nameGravatar David Aspinall2000-05-12
* Set version tag for new release.Gravatar 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
* New setting on the way...Gravatar David Aspinall2000-05-09
* Set version tag for new release.Gravatar David Aspinall2000-05-09
* Fixup menus.Gravatar David Aspinall2000-05-09
* Fixup loading.Gravatar David Aspinall2000-05-09
* Removed menus, keybinding. Removed compatibility hacks. Improved loading.Gravatar David Aspinall2000-05-09
* Improved loadingGravatar David Aspinall2000-05-09
* Prevent proof-set-value until proof-config-loaded. (C) on splash screen.Gravatar David Aspinall2000-05-09
* Comments.Gravatar David Aspinall2000-05-09
* Removed autoloads, util functions.Gravatar David Aspinall2000-05-09
* Added some functions for developers.Gravatar David Aspinall2000-05-09
* Moved code to proof-menu.elGravatar David Aspinall2000-05-09
* Added proof-splice-separator.Gravatar David Aspinall2000-05-09
* Splash screen now shown from autoloaded function.Gravatar David Aspinall2000-05-09
* Remove use of cl. Add require on proof-autoloads.Gravatar David Aspinall2000-05-09
* Improve loadingGravatar David Aspinall2000-05-09
* New filesGravatar David Aspinall2000-05-09
* CommentsGravatar David Aspinall2000-05-07
* Set version tag for new release.Gravatar David Aspinall2000-05-05
* Comments. Minor improvements for electric terminator and proof-follow-mode='...Gravatar David Aspinall2000-05-05
* Corrected header.Gravatar David Aspinall2000-05-05
* Moved code into proof-system and proof-utils.Gravatar David Aspinall2000-05-05
* Files for interfacing with proof system, e.g. maintaining settings.Gravatar David Aspinall2000-05-05
* General utility functions, moved from proof.elGravatar David Aspinall2000-05-05
* Added menu entry for proof-goto-end-of-locked.Gravatar David Aspinall2000-05-05
* Added variables for customization groups so they can be set automatically.Gravatar David Aspinall2000-05-05
* Improved docs, declaration of variables set in proof-site, settings mechanism...Gravatar David Aspinall2000-05-05
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Helper macros.Gravatar David Aspinall2000-05-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 11:12:20 +0000