index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
Age
Commit message (
Expand
)
Author
2000-04-04
Set version tag for new release.
David Aspinall
2000-04-04
Note about 3.1.3 release
David Aspinall
2000-03-24
Set version tag for new release.
David Aspinall
2000-03-24
About 3.1.2
David Aspinall
2000-03-24
Note about testing on win32
David Aspinall
2000-03-24
Updated
David Aspinall
2000-03-24
Set version tag for new release.
David Aspinall
2000-03-24
Notes about upcoming 3.1.1 changes
David Aspinall
2000-03-23
Set version tag for new release.
David Aspinall
2000-03-23
First release attempt
David Aspinall
2000-03-23
Set version tag for new release.
David Aspinall
2000-03-23
Updated for 3.1, removed appendix.
David Aspinall
2000-03-22
Set version tag for new release.
David Aspinall
2000-03-22
Notes about strange filenames
David Aspinall
2000-03-22
Comment about tripping bug in Isabelle
David Aspinall
2000-03-22
Added test files to check stupid filename for directories.
David Aspinall
2000-03-19
Set version tag for new release.
David Aspinall
2000-03-14
Set version tag for new release.
David Aspinall
2000-03-13
Getting reading for 3.1
David Aspinall
2000-03-13
Fix globbing. Not as powerful as I'd hoped.
David Aspinall
2000-03-13
Set version tag for new release.
David Aspinall
2000-03-13
Added hol and new info files to package
David Aspinall
2000-03-10
Set version tag for new release.
David Aspinall
2000-03-09
Set version tag for new release.
David Aspinall
2000-03-08
Set version tag for new release.
David Aspinall
2000-03-08
Error example from Randy, showing too much info was lost in output msgs.
David Aspinall
2000-03-08
Put README.devel into spec file
David Aspinall
2000-03-01
Set version tag for new release.
David Aspinall
2000-02-29
Set version tag for new release.
David Aspinall
2000-02-28
Set version tag for new release.
David Aspinall
2000-02-24
Set version tag for new release.
David Aspinall
2000-02-17
Set version tag for new release.
David Aspinall
2000-02-15
Set version tag for new release.
David Aspinall
2000-02-15
Switch to canonical URL (broken currently)
David Aspinall
2000-02-09
Set version tag for new release.
David Aspinall
2000-01-26
Set version tag for new release.
David Aspinall
2000-01-20
Set version tag for new release.
David Aspinall
2000-01-12
Set version tag for new release.
David Aspinall
2000-01-06
Set version tag for new release.
David Aspinall
1999-12-16
Set version tag for new release.
David Aspinall
1999-12-14
Set version tag for new release.
David Aspinall
1999-12-13
Set version tag for new release.
David Aspinall
1999-12-03
Set version tag for new release.
David Aspinall
1999-12-01
Set version tag for new release.
David Aspinall
1999-12-01
Updated from version sent to lists.
David Aspinall
1999-11-30
Set version tag for new release.
David Aspinall
1999-11-30
Set version tag for new release.
David Aspinall
1999-11-30
Correct release tags.
David Aspinall
1999-11-30
Set version tag for new release.
David Aspinall
1999-11-30
Set version tag for new release.
David Aspinall
[next]