aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-05-30TidiedDavid Aspinall
2000-05-30Added doc of new prefix arg feature for proof-minibuffer-cmdDavid Aspinall
2000-05-30Added prefix arg to proof-minibuffer-cmd to insert current region.David Aspinall
2000-05-29Set version tag for new release.David Aspinall
2000-05-29Added new parsing mechanism. Began removing proof-terminal-string.David Aspinall
2000-05-29UpdatedDavid Aspinall
2000-05-29Don\'t wait for ever if process dies on startupDavid Aspinall
2000-05-29Generalized proof-format to allow sexps in replacement.David Aspinall
2000-05-29Missing parenthesisDavid Aspinall
2000-05-29Added functions for defining string and integer setters, for proof assistant ...David Aspinall
2000-05-29New stuff for making proof assistant settings.David Aspinall
2000-05-29Added configuration variables for proof assistant settings. Docstring for fa...David Aspinall
2000-05-29Added replace-string for FSF.David Aspinall
2000-05-26Docstring.David Aspinall
2000-05-26Removed proof-script-indent check.David Aspinall
2000-05-26Update to use generic option indent-line, and switch insideDavid Aspinall
2000-05-26Switch to using per-prover generic option for x-symbol-enable.David Aspinall
2000-05-26Binding for complete.David Aspinall
2000-05-26Macros for generic custom settings from proof-config.David Aspinall
2000-05-26Rename proof-defass-custom -> defpgcustom.David Aspinall
2000-05-26Moved compatibility code into proof-compat.elDavid Aspinall
2000-05-26Only extend the load path if necessaryDavid Aspinall
2000-05-26Attempt to quote @ (failed, dunno why)David Aspinall
2000-05-25Temp hacks to get doc to build before proper commits.David Aspinall
2000-05-25Made x-symbol-enable be individual option.David Aspinall
2000-05-25Added completion table code.David Aspinall
2000-05-25Patch for synchronization problem in Coq, perhaps others.David Aspinall
2000-05-25When button enablers disabled, don't use itimer or after-change hook.David Aspinall
2000-05-25Next button is enabled whenever locked region is not full.David Aspinall
2000-05-25Set version tag for new release.David Aspinall
2000-05-25Turn off button enablers when running on SolarisDavid Aspinall
2000-05-17Clarify favourites command: key sequence will begin with C-c C-a.David Aspinall
2000-05-17Set version tag for new release.David Aspinall
2000-05-16Fix buttons must be 3 long errorDavid Aspinall
2000-05-16Set version tag for new release.David Aspinall
2000-05-16Docstring fixDavid Aspinall
2000-05-16Fixes for defining favourites, added warning for pre-release users.David Aspinall
2000-05-16Added proof-ready-for-assistant function to help docstring magic.David Aspinall
2000-05-16Comment addedDavid Aspinall
2000-05-16Add proof-strict-state-preserving settingDavid Aspinall
2000-05-16Added version string to splash. Added proof-strict-state-preservingDavid Aspinall
2000-05-12Added proof-defassfun. CommentsDavid Aspinall
2000-05-12Use (proof-ass X) instead of function call.David Aspinall
2000-05-12Specific keys begin C-c C-a, not C-c a.David Aspinall
2000-05-12Moved utility functions to proof-utils.David Aspinall
2000-05-12Fix to function nameDavid Aspinall
2000-05-11Set version tag for new release.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 01:20:32 +0000