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
*
Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...
David Aspinall
2000-09-28
*
Added fly past comments to quick opts menu when new parsing mechanism active.
David Aspinall
2000-09-28
*
Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...
David Aspinall
2000-09-28
*
Added proof-shell-strip-crs-from-input.
David Aspinall
2000-09-28
*
Set version tag for new release.
David Aspinall
2000-09-27
*
Fix bug email address to bugs@proofgeneral.org
David Aspinall
2000-09-27
*
Added ACL2
David Aspinall
2000-09-27
*
Added yet another new parsing mechanism, bit more rational this time.
David Aspinall
2000-09-27
*
Set version tag for new release.
David Aspinall
2000-09-26
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Set version tag for new release.
David Aspinall
2000-09-25
*
comment: avoid unbalanced quotes;
Makarius Wenzel
2000-09-25
*
Set version tag for new release.
David Aspinall
2000-09-23
*
proof-display-some-buffers moves point to end of output in response buffer.
David Aspinall
2000-09-23
*
proof-display-some-buffers improved: toggles between goals and response in
David Aspinall
2000-09-23
*
Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...
David Aspinall
2000-09-23
*
Always activate bug fix -- this file only loaded for FSF Emacs.
David Aspinall
2000-09-23
*
Make toolbar enablers work appropriately from non-scripting buffers
David Aspinall
2000-09-23
*
Call (proof-toolbar-setup) to add toolbar to goals and response buffer
David Aspinall
2000-09-23
*
Remove require on proof-depends
David Aspinall
2000-09-23
*
Update comments
David Aspinall
2000-09-23
*
Updated
David Aspinall
2000-09-23
*
Set version tag for new release.
David Aspinall
2000-09-21
*
Newlines.
David Aspinall
2000-09-21
*
Removed blurry distinction between block-comment and comment in FSF's buffer-...
David Aspinall
2000-09-21
*
Set version tag for new release.
David Aspinall
2000-09-20
*
Comments
David Aspinall
2000-09-20
*
Disable toolbar enablers on win32.
David Aspinall
2000-09-20
*
dirty bug fix in next-span to avoid loops with FSF Emacs
Christophe Raffalli
2000-09-20
*
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
[next]