aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2000-05-01
* Added proof-assistant-menu-entries for proof assistant specific menus.Gravatar David Aspinall2000-05-01
* Set version tag for new release.Gravatar David Aspinall2000-04-28
* Set version tag for new release.Gravatar David Aspinall2000-04-26
* Fix %r modifier in proof-format-filename.Gravatar David Aspinall2000-04-25
* Note about efficiency/bug fix by Markus.Gravatar David Aspinall2000-04-25
* proof-segment-up-to: no longer poke around in make-string buffer (nowGravatar Makarius Wenzel2000-04-15
* Set version tag for new release.Gravatar David Aspinall2000-04-07
* Comment.Gravatar David Aspinall2000-04-07
* More generic message to avoid confusion with Coq searching.Gravatar David Aspinall2000-04-07
* Generalisation of proof-info-command to string or fn.Gravatar David Aspinall2000-04-07
* Removed this.Gravatar David Aspinall2000-04-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 19:06:52 +0000