index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
Commit message (
Expand
)
Author
Age
*
Set version tag for new release.
David Aspinall
2000-11-17
*
Set version tag for new release.
David Aspinall
2000-11-15
*
Set version tag for new release.
David Aspinall
2000-10-19
*
Set version tag for new release.
David Aspinall
2000-10-18
*
Set version tag for new release.
David Aspinall
2000-10-18
*
Set version tag for new release.
David Aspinall
2000-10-03
*
Removed link to CHANGES, its buggy
David Aspinall
2000-10-02
*
3-2-1 pending
David Aspinall
2000-10-02
*
Mention Isabelle99-1 change
David Aspinall
2000-10-02
*
Set version tag for new release.
David Aspinall
2000-10-02
*
Upcoming patch anticipated already.
David Aspinall
2000-10-02
*
Set version tag for new release.
David Aspinall
2000-10-02
*
Set version tag for new release.
David Aspinall
2000-10-02
*
Add todays date, 3.2
David Aspinall
2000-10-02
*
Added a new email alias
David Aspinall
2000-09-29
*
Another buglet in files list
David Aspinall
2000-09-29
*
Bug in files list
David Aspinall
2000-09-29
*
Fix adding acl2 and twelf to RPM
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
*
Note about dealing with backslashname directory.
David Aspinall
2000-09-29
*
Note about dealing with backslashname directory.
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
*
Mention ACL2 too
David Aspinall
2000-09-29
*
Fix URL.
David Aspinall
2000-09-28
*
Set version tag for new release.
David Aspinall
2000-09-28
*
Set version tag for new release.
David Aspinall
2000-09-27
*
Updated
David Aspinall
2000-09-27
*
Fix URL of source
David Aspinall
2000-09-27
*
Fix adding af2 to RPM.
David Aspinall
2000-09-26
*
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
*
Updated for 3.2 release
David Aspinall
2000-09-26
*
Set version tag for new release.
David Aspinall
2000-09-25
*
Add AF2 to RPM package.
David Aspinall
2000-09-25
*
Set version tag for new release.
David Aspinall
2000-09-23
*
Set version tag for new release.
David Aspinall
2000-09-21
*
Fix globbing some more.
David Aspinall
2000-09-21
*
Fix for rpm braindead globbing.
David Aspinall
2000-09-21
*
Add PG-adapting to info files.
David Aspinall
2000-09-21
*
Added Prefixes: tag
David Aspinall
2000-09-21
*
bug2: Resolved as of 17.9.00;
Makarius Wenzel
2000-09-21
*
fixed "Dagstuhl";
Makarius Wenzel
2000-09-21
*
Set version tag for new release.
David Aspinall
2000-09-20
*
Set version tag for new release.
David Aspinall
2000-09-18
*
Set version tag for new release.
David Aspinall
2000-09-14
*
Updated
David Aspinall
2000-09-14
*
Set version tag for new release.
David Aspinall
2000-09-13
*
Added some bug test cases.
David Aspinall
2000-09-13
[next]