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
/
ProofGeneral.spec
Commit message (
Expand
)
Author
Age
...
*
Set version tag for new release.
David Aspinall
2000-10-02
*
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
*
Set version tag for new release.
David Aspinall
2000-09-29
*
Add more provers, and proofgeneral script
David Aspinall
2000-09-29
*
Set version tag for new release.
David Aspinall
2000-09-28
*
Set version tag for new release.
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
*
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
*
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
*
Set version tag for new release.
David Aspinall
2000-09-13
*
Set version tag for new release.
David Aspinall
2000-09-12
*
Set version tag for new release.
David Aspinall
2000-09-11
*
Set version tag for new release.
David Aspinall
2000-08-29
*
Set version tag for new release.
David Aspinall
2000-08-28
*
Set version tag for new release.
David Aspinall
2000-08-09
*
Set version tag for new release.
David Aspinall
2000-07-26
*
Set version tag for new release.
David Aspinall
2000-07-16
*
Set version tag for new release.
David Aspinall
2000-07-13
*
Add Isabelle interface scripts to RPM
David Aspinall
2000-07-13
*
Set version tag for new release.
David Aspinall
2000-07-12
*
Set version tag for new release.
David Aspinall
2000-07-05
*
Set version tag for new release.
David Aspinall
2000-07-04
*
Set version tag for new release.
David Aspinall
2000-07-03
*
Set version tag for new release.
David Aspinall
2000-06-29
*
Set version tag for new release.
David Aspinall
2000-06-27
*
Set version tag for new release.
David Aspinall
2000-06-22
*
Set version tag for new release.
David Aspinall
2000-06-19
*
Set version tag for new release.
David Aspinall
2000-06-16
*
Set version tag for new release.
David Aspinall
2000-06-09
*
Set version tag for new release.
David Aspinall
2000-06-06
*
Set version tag for new release.
David Aspinall
2000-06-01
*
Set version tag for new release.
David Aspinall
2000-05-30
*
Set version tag for new release.
David Aspinall
2000-05-29
*
Fix applying of patch.
David Aspinall
2000-05-25
*
Set version tag for new release.
David Aspinall
2000-05-25
*
Set version tag for new release.
David Aspinall
2000-05-17
[prev]
[next]