index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
*
Strange ? got in by accident.
David Aspinall
2000-06-09
*
Set version tag for new release.
David Aspinall
2000-06-09
*
Comment
David Aspinall
2000-06-09
*
Remove toolbar and menubar from windows in multiple frame mode.
David Aspinall
2000-06-09
*
rewrote code from scratch: faster, easier to configure; now enabled by default;
Makarius Wenzel
2000-06-08
*
settings for new indentation setup;
Makarius Wenzel
2000-06-08
*
added proof-looking-at-safe, proof-looking-at-syntactic-context;
Makarius Wenzel
2000-06-08
*
Set version tag for new release.
David Aspinall
2000-06-06
*
Added special hack for Isar to include proof-terminal-char in sent string.
David Aspinall
2000-06-06
*
fixed proof-anchor-regexp: use \` instead of ^;
Makarius Wenzel
2000-06-05
*
Added miscellaneous commands section, with proof-display-some-buffers
David Aspinall
2000-06-05
*
proof-clean-buffer: clear next error flag if buffer is response.
David Aspinall
2000-06-05
*
Tweaked some docstrings.
David Aspinall
2000-06-05
*
Added proof-next-error.
David Aspinall
2000-06-05
*
Updated to add proof-next-error.
David Aspinall
2000-06-05
*
proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!
Makarius Wenzel
2000-06-04
*
proof-re-search-forward/backward: observe proof-case-fold-search;
Makarius Wenzel
2000-06-04
*
proof-segment-up-to-cmdstart: exclude leading blanks from command string;
Makarius Wenzel
2000-06-04
*
improved proof-segment-up-to-cmdstart: handle overlap of command
Makarius Wenzel
2000-06-03
*
Set version tag for new release.
David Aspinall
2000-06-01
*
Updated
David Aspinall
2000-06-01
*
Added autoload
David Aspinall
2000-06-01
*
Allow two strings for boolean settings to handle non-uniformity in Coq
David Aspinall
2000-06-01
*
Use proof-running-on-XEmacs variable.
David Aspinall
2000-06-01
*
Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...
David Aspinall
2000-06-01
*
New file
David Aspinall
2000-06-01
*
New parsing functions proof-segment-up-to-cmd{start,end}
David Aspinall
2000-06-01
*
Changed 'complete to 'proof-script-complete to use proof-case-fold-search.
David Aspinall
2000-06-01
*
Made require on proof-menu instead of proof-script.
David Aspinall
2000-06-01
*
Use proof-comment-{start,end}-regexp
David Aspinall
2000-06-01
*
Added proof-comment-start-regexp, proof-commend-end-regexp.
David Aspinall
2000-06-01
*
Fix keybinding for completion. Add completion to menubar.
David Aspinall
2000-05-31
*
Added hack to completion.el to avoid adding every prefix as completion.
David Aspinall
2000-05-31
*
Compatibility with completion package.
David Aspinall
2000-05-31
*
Fixes for completion support.
David Aspinall
2000-05-31
*
Set version tag for new release.
David Aspinall
2000-05-30
*
Hairy parsing for Isar. Not finished (or working) yet.
David Aspinall
2000-05-30
*
Arg for proof-minibuffer-cmd: compact whitespace in region.
David Aspinall
2000-05-30
*
Fixed typo causing bug. Generic parsing updated (still wip)
David Aspinall
2000-05-30
*
Change order of checks in proof-shell-live-buffer
David Aspinall
2000-05-30
*
Added process-live-p
David Aspinall
2000-05-30
*
Added proof-script-command-start-regexp. Updated docstrings to reflect that ...
David Aspinall
2000-05-30
*
Tidied
David Aspinall
2000-05-30
*
Added doc of new prefix arg feature for proof-minibuffer-cmd
David Aspinall
2000-05-30
*
Added prefix arg to proof-minibuffer-cmd to insert current region.
David Aspinall
2000-05-30
*
Set version tag for new release.
David Aspinall
2000-05-29
*
Added new parsing mechanism. Began removing proof-terminal-string.
David Aspinall
2000-05-29
*
Updated
David Aspinall
2000-05-29
*
Don\'t wait for ever if process dies on startup
David Aspinall
2000-05-29
*
Generalized proof-format to allow sexps in replacement.
David Aspinall
2000-05-29
[next]