aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-06-06
* Added special hack for Isar to include proof-terminal-char in sent string.Gravatar David Aspinall2000-06-06
* fixed proof-anchor-regexp: use \` instead of ^;Gravatar Makarius Wenzel2000-06-05
* Added miscellaneous commands section, with proof-display-some-buffersGravatar David Aspinall2000-06-05
* proof-clean-buffer: clear next error flag if buffer is response.Gravatar David Aspinall2000-06-05
* Tweaked some docstrings.Gravatar David Aspinall2000-06-05
* Added proof-next-error.Gravatar David Aspinall2000-06-05
* Updated to add proof-next-error.Gravatar David Aspinall2000-06-05
* proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!Gravatar Makarius Wenzel2000-06-04
* proof-re-search-forward/backward: observe proof-case-fold-search;Gravatar Makarius Wenzel2000-06-04
* proof-segment-up-to-cmdstart: exclude leading blanks from command string;Gravatar Makarius Wenzel2000-06-04
* improved proof-segment-up-to-cmdstart: handle overlap of commandGravatar Makarius Wenzel2000-06-03
* Set version tag for new release.Gravatar David Aspinall2000-06-01
* UpdatedGravatar David Aspinall2000-06-01
* Added autoloadGravatar David Aspinall2000-06-01
* Allow two strings for boolean settings to handle non-uniformity in CoqGravatar David Aspinall2000-06-01
* Use proof-running-on-XEmacs variable.Gravatar David Aspinall2000-06-01
* Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...Gravatar David Aspinall2000-06-01
* New fileGravatar David Aspinall2000-06-01
* New parsing functions proof-segment-up-to-cmd{start,end}Gravatar David Aspinall2000-06-01
* Changed 'complete to 'proof-script-complete to use proof-case-fold-search.Gravatar David Aspinall2000-06-01
* Made require on proof-menu instead of proof-script.Gravatar David Aspinall2000-06-01
* Use proof-comment-{start,end}-regexpGravatar David Aspinall2000-06-01
* Added proof-comment-start-regexp, proof-commend-end-regexp.Gravatar David Aspinall2000-06-01
* Fix keybinding for completion. Add completion to menubar.Gravatar David Aspinall2000-05-31
* Added hack to completion.el to avoid adding every prefix as completion.Gravatar David Aspinall2000-05-31
* Compatibility with completion package.Gravatar David Aspinall2000-05-31
* Fixes for completion support.Gravatar David Aspinall2000-05-31
* Set version tag for new release.Gravatar David Aspinall2000-05-30
* Hairy parsing for Isar. Not finished (or working) yet.Gravatar David Aspinall2000-05-30
* Arg for proof-minibuffer-cmd: compact whitespace in region.Gravatar David Aspinall2000-05-30
* Fixed typo causing bug. Generic parsing updated (still wip)Gravatar David Aspinall2000-05-30
* Change order of checks in proof-shell-live-bufferGravatar David Aspinall2000-05-30
* Added process-live-pGravatar David Aspinall2000-05-30
* Added proof-script-command-start-regexp. Updated docstrings to reflect that ...Gravatar David Aspinall2000-05-30
* TidiedGravatar David Aspinall2000-05-30
* Added doc of new prefix arg feature for proof-minibuffer-cmdGravatar David Aspinall2000-05-30
* Added prefix arg to proof-minibuffer-cmd to insert current region.Gravatar David Aspinall2000-05-30
* Set version tag for new release.Gravatar David Aspinall2000-05-29
* Added new parsing mechanism. Began removing proof-terminal-string.Gravatar David Aspinall2000-05-29
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 10:06:17 +0000