aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2000-06-04proof-segment-up-to-cmdstart: exclude leading blanks from command string;Makarius Wenzel
2000-06-03improved proof-segment-up-to-cmdstart: handle overlap of commandMakarius Wenzel
2000-06-01Set version tag for new release.David Aspinall
2000-06-01UpdatedDavid Aspinall
2000-06-01Added autoloadDavid Aspinall
2000-06-01Allow two strings for boolean settings to handle non-uniformity in CoqDavid Aspinall
2000-06-01Use proof-running-on-XEmacs variable.David Aspinall
2000-06-01Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...David Aspinall
2000-06-01New fileDavid Aspinall
2000-06-01New parsing functions proof-segment-up-to-cmd{start,end}David Aspinall
2000-06-01Changed 'complete to 'proof-script-complete to use proof-case-fold-search.David Aspinall
2000-06-01Made require on proof-menu instead of proof-script.David Aspinall
2000-06-01Use proof-comment-{start,end}-regexpDavid Aspinall
2000-06-01Added proof-comment-start-regexp, proof-commend-end-regexp.David Aspinall
2000-05-31Fix keybinding for completion. Add completion to menubar.David Aspinall
2000-05-31Added hack to completion.el to avoid adding every prefix as completion.David Aspinall
2000-05-31Compatibility with completion package.David Aspinall
2000-05-31Fixes for completion support.David Aspinall
2000-05-30Set version tag for new release.David Aspinall
2000-05-30Hairy parsing for Isar. Not finished (or working) yet.David Aspinall
2000-05-30Arg for proof-minibuffer-cmd: compact whitespace in region.David Aspinall
2000-05-30Fixed typo causing bug. Generic parsing updated (still wip)David Aspinall
2000-05-30Change order of checks in proof-shell-live-bufferDavid Aspinall
2000-05-30Added process-live-pDavid Aspinall
2000-05-30Added proof-script-command-start-regexp. Updated docstrings to reflect that ...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 11:44:02 +0000