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
*
Files for testing theorem dependency features.
David Aspinall
2000-08-14
*
Set version tag for new release.
David Aspinall
2000-08-09
*
Set version tag for new release.
David Aspinall
2000-07-26
*
Note about need to test..
David Aspinall
2000-07-20
*
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
*
Added tag to force Isar mode
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
*
File used to test new parsing mechanism.
David Aspinall
2000-06-01
*
New test files for PG kit.
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
*
Updated for announcement.
David Aspinall
2000-05-29
*
Patched patch again.
David Aspinall
2000-05-25
*
Fix applying of patch.
David Aspinall
2000-05-25
*
Fix patch.
David Aspinall
2000-05-25
*
Updated patch.
David Aspinall
2000-05-25
*
Note about sync problem
David Aspinall
2000-05-25
*
New file, test cases for bugs
David Aspinall
2000-05-25
*
Updated from 3.1 branch
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
*
Set version tag for new release.
David Aspinall
2000-05-16
*
Set version tag for new release.
David Aspinall
2000-05-11
*
New file
David Aspinall
2000-05-11
*
Set version tag for new release.
David Aspinall
2000-05-09
*
Trivial.
David Aspinall
2000-05-09
*
Merged from 3.1.5
David Aspinall
2000-05-09
*
Set version tag for new release.
David Aspinall
2000-05-05
*
Set version tag for new release.
David Aspinall
2000-05-01
*
Set version tag for new release.
David Aspinall
2000-04-28
*
Note about conflict in merging
David Aspinall
2000-04-28
*
Added note about 3.1.4 patch, merged from 3.1 branch
David Aspinall
2000-04-28
*
Notes about using cvs and branch.
David Aspinall
2000-04-28
*
Set version tag for new release.
David Aspinall
2000-04-26
*
Set version tag for new release.
David Aspinall
2000-04-07
*
Set version tag for new release.
David Aspinall
2000-04-04
*
Note about 3.1.3 release
David Aspinall
2000-04-04
[next]