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
...
*
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
*
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-24
*
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-23
*
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-22
*
Set version tag for new release.
David Aspinall
2000-03-19
*
Set version tag for new release.
David Aspinall
2000-03-14
*
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-13
*
Set version tag for new release.
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
*
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-08
*
Set version tag for new release.
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
[prev]
[next]