index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Caveats about using elcs.
David Aspinall
2000-10-02
*
New file
David Aspinall
2000-10-02
*
Pass extra args to emacs.
David Aspinall
2000-10-02
*
Attempt to force image build
David Aspinall
2000-10-02
*
Attempt to force image build
David Aspinall
2000-10-02
*
Subtitle caps
David Aspinall
2000-10-02
*
Updated.
David Aspinall
2000-09-29
*
Added a new email alias
David Aspinall
2000-09-29
*
Typos in credits section
David Aspinall
2000-09-29
*
Added credits section
David Aspinall
2000-09-29
*
Updated.
David Aspinall
2000-09-29
*
Another buglet in files list
David Aspinall
2000-09-29
*
Updated.
David Aspinall
2000-09-29
*
Bug in files list
David Aspinall
2000-09-29
*
Updated.
David Aspinall
2000-09-29
*
Remove ChangeLog from ignoreds
David Aspinall
2000-09-29
*
Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...
David Aspinall
2000-09-29
*
Add acl2 and twelf to elisp dirs
David Aspinall
2000-09-29
*
Fix adding acl2 and twelf to RPM
David Aspinall
2000-09-29
*
ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...
David Aspinall
2000-09-29
*
Link image to root dir.
David Aspinall
2000-09-29
*
Tweak
David Aspinall
2000-09-29
*
Remove patch on perl filename now, after Pierres accidental checkin.
David Aspinall
2000-09-29
*
Set version tag for new release.
David Aspinall
2000-09-29
*
Updating branch
David Aspinall
2000-09-29
*
Note about dealing with backslashname directory.
David Aspinall
2000-09-29
*
Updated
David Aspinall
2000-09-29
*
Note about dealing with backslashname directory.
David Aspinall
2000-09-29
*
Update URLs and mail aliases. Mention script, and extensions for new provers
David Aspinall
2000-09-29
*
Script for launching proofgeneral.
David Aspinall
2000-09-29
*
Updated
David Aspinall
2000-09-29
*
Add more provers, and proofgeneral script
David Aspinall
2000-09-29
*
Notes about proofgeneral.org
David Aspinall
2000-09-29
*
Add icon images.
David Aspinall
2000-09-29
*
Minor change
David Aspinall
2000-09-29
*
Note about packages needed
David Aspinall
2000-09-29
*
Click to go back links to root.
David Aspinall
2000-09-29
*
Remove messy link_root links.
David Aspinall
2000-09-29
*
Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...
David Aspinall
2000-09-29
*
Links for shortcut URLs.
David Aspinall
2000-09-29
*
Mention needed server hacks
David Aspinall
2000-09-29
*
Remove link_root nonsense
David Aspinall
2000-09-29
*
Updated with fixes before 3.2.
David Aspinall
2000-09-29
*
Inherent problem with Emacs in console mode: no face support
David Aspinall
2000-09-29
*
twelf and acl2 are in ordinary dist
David Aspinall
2000-09-29
*
Mention ACL2 too
David Aspinall
2000-09-29
*
Tweak
David Aspinall
2000-09-29
*
Comment fix
David Aspinall
2000-09-29
*
Parse comments also in proof-script-generic-parse-sexp
David Aspinall
2000-09-29
*
Non existent get-window-buffer -> get-buffer-window (how did that get through?)
David Aspinall
2000-09-29
[next]