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
*
changed proof-remove-comment to avoid using string-search (using string-match...
Christophe Raffalli
2000-09-18
*
Get rid of proof-segment-up-to-old.
David Aspinall
2000-09-18
*
Added bug fix section and patch for undefined
David Aspinall
2000-09-18
*
Emulate buffer-syntactic-context on FSF Emacs
David Aspinall
2000-09-18
*
Set version tag for new release.
David Aspinall
2000-09-18
*
added proof-retract-current-goal
Christophe Raffalli
2000-09-15
*
added proper call to proof-remove-comment before matching with proof-xxx-with...
Christophe Raffalli
2000-09-15
*
removed some debugging messages I forgot
Christophe Raffalli
2000-09-15
*
added function string-search and proof-remove-comment
Christophe Raffalli
2000-09-15
*
Set version tag for new release.
David Aspinall
2000-09-14
*
Remove FIXME.
David Aspinall
2000-09-14
*
Improved docstrings, comments.
David Aspinall
2000-09-14
*
capitalize xs-lang-name;
Makarius Wenzel
2000-09-13
*
Set version tag for new release.
David Aspinall
2000-09-13
*
Docstring changes for printed docs.
David Aspinall
2000-09-13
*
Order change
David Aspinall
2000-09-13
*
Removed proof-toolbar-entries-default and <PA>-toolbar-entries.
David Aspinall
2000-09-13
*
Remove ambitious promise to implement proper generic-find-and-forget.
David Aspinall
2000-09-13
*
Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...
David Aspinall
2000-09-13
*
Set version tag for new release.
David Aspinall
2000-09-12
*
Remove shell important setting from script ones.
David Aspinall
2000-09-12
*
Add sanity check on important settings for proof shell (underway)
David Aspinall
2000-09-12
*
Added entry for Af2
David Aspinall
2000-09-12
*
Docs for proof-shell-eager-annotation-start stuff
David Aspinall
2000-09-12
*
Set version tag for new release.
David Aspinall
2000-09-11
*
Added proof-shell-annotated-prompt-regexp to important settings, removed safe...
David Aspinall
2000-09-11
*
ADded proof-locate-executable.
David Aspinall
2000-09-08
*
Fix obscure problem with proof-segment-upto-cmdstart with buggy input.
David Aspinall
2000-09-08
*
Rearrangement
David Aspinall
2000-09-08
*
Set version tag for new release.
David Aspinall
2000-08-29
*
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-29
*
Set version tag for new release.
David Aspinall
2000-08-28
*
Added proof-shell-set-elisp-variable-regexp
David Aspinall
2000-08-28
*
Added twelf and experimental support note.
David Aspinall
2000-08-28
*
FIXME note added, missing docstring from macro fn def.
David Aspinall
2000-08-28
*
Added Fiona's changes, cleaned up a little bit with header and footer
David Aspinall
2000-08-14
*
Added split string on theorem dependency code, to make list of dependents.
David Aspinall
2000-08-14
*
Added Fiona's changes, cleaned up a little bit
David Aspinall
2000-08-14
*
Set version tag for new release.
David Aspinall
2000-08-09
*
handle comment inside a command (patch by da);
Makarius Wenzel
2000-08-03
*
Set version tag for new release.
David Aspinall
2000-07-26
*
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Makarius Wenzel
2000-07-20
*
fixed comment;
Makarius Wenzel
2000-07-20
*
bug fixing in matching theorem dependencies
David Aspinall
2000-07-19
*
functions for manipulating theorem dependencies
David Aspinall
2000-07-19
*
changes to add theorem dependencies recording in spans
David Aspinall
2000-07-19
*
Set version tag for new release.
David Aspinall
2000-07-16
*
Set version tag for new release.
David Aspinall
2000-07-13
*
Set version tag for new release.
David Aspinall
2000-07-12
*
Update autoloads.
David Aspinall
2000-07-12
[next]