aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2000-05-29
* Don\'t wait for ever if process dies on startupGravatar David Aspinall2000-05-29
* Generalized proof-format to allow sexps in replacement.Gravatar David Aspinall2000-05-29
* Missing parenthesisGravatar David Aspinall2000-05-29
* Added functions for defining string and integer setters, for proof assistant ...Gravatar David Aspinall2000-05-29
* New stuff for making proof assistant settings.Gravatar David Aspinall2000-05-29
* Added configuration variables for proof assistant settings. Docstring for fa...Gravatar David Aspinall2000-05-29
* Added replace-string for FSF.Gravatar David Aspinall2000-05-29
* Docstring.Gravatar David Aspinall2000-05-26
* Removed proof-script-indent check.Gravatar David Aspinall2000-05-26
* Update to use generic option indent-line, and switch insideGravatar David Aspinall2000-05-26
* Switch to using per-prover generic option for x-symbol-enable.Gravatar David Aspinall2000-05-26
* Binding for complete.Gravatar David Aspinall2000-05-26
* Macros for generic custom settings from proof-config.Gravatar David Aspinall2000-05-26
* Rename proof-defass-custom -> defpgcustom.Gravatar David Aspinall2000-05-26
* Moved compatibility code into proof-compat.elGravatar David Aspinall2000-05-26
* Only extend the load path if necessaryGravatar David Aspinall2000-05-26
* Attempt to quote @ (failed, dunno why)Gravatar David Aspinall2000-05-26
* Temp hacks to get doc to build before proper commits.Gravatar David Aspinall2000-05-25
* Made x-symbol-enable be individual option.Gravatar David Aspinall2000-05-25
* Added completion table code.Gravatar David Aspinall2000-05-25
* Patch for synchronization problem in Coq, perhaps others.Gravatar David Aspinall2000-05-25
* When button enablers disabled, don't use itimer or after-change hook.Gravatar David Aspinall2000-05-25
* Next button is enabled whenever locked region is not full.Gravatar David Aspinall2000-05-25
* Set version tag for new release.Gravatar David Aspinall2000-05-25
* Turn off button enablers when running on SolarisGravatar David Aspinall2000-05-25
* Clarify favourites command: key sequence will begin with C-c C-a.Gravatar David Aspinall2000-05-17
* Set version tag for new release.Gravatar David Aspinall2000-05-17
* Fix buttons must be 3 long errorGravatar David Aspinall2000-05-16
* Set version tag for new release.Gravatar David Aspinall2000-05-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 19:30:46 +0000