aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-05-11Note abut ;;;###autoload not working for define-derived-mode.David Aspinall
2000-05-11Use proof-deftoggle macro.David Aspinall
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-09New setting on the way...David Aspinall
2000-05-09Set version tag for new release.David Aspinall
2000-05-09Fixup menus.David Aspinall
2000-05-09Fixup loading.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-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-09New filesDavid Aspinall
2000-05-07CommentsDavid Aspinall
2000-05-05Set version tag for new release.David 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
2000-05-05Improved docs, declaration of variables set in proof-site, settings mechanism...David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Helper macros.David Aspinall
2000-05-01Set version tag for new release.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-25Fix %r modifier in proof-format-filename.David Aspinall
2000-04-25Note about efficiency/bug fix by Markus.David Aspinall
2000-04-15proof-segment-up-to: no longer poke around in make-string buffer (nowMakarius Wenzel
2000-04-07Set version tag for new release.David Aspinall
2000-04-07Comment.David Aspinall
2000-04-07More generic message to avoid confusion with Coq searching.David Aspinall
2000-04-07Generalisation of proof-info-command to string or fn.David Aspinall
2000-04-07Removed this.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 16:18:22 +0000