index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
html
Age
Commit message (
Expand
)
Author
2000-02-29
Include html in a small page via this page.
David Aspinall
2000-02-29
Put projects onto separate pages.
David Aspinall
2000-02-29
New projects directory.
David Aspinall
2000-02-28
Set version tag for new release.
David Aspinall
2000-02-28
Added some more projects
David Aspinall
2000-02-24
Set version tag for new release.
David Aspinall
2000-02-24
Add link to white paper.
David Aspinall
2000-02-24
Fix title
David Aspinall
2000-02-17
Typo
David Aspinall
2000-02-17
Set version tag for new release.
David Aspinall
2000-02-17
Added browser project
David Aspinall
2000-02-17
Typo
David Aspinall
2000-02-17
Fixup tar options
David Aspinall
2000-02-15
Minor improvements
David Aspinall
2000-02-15
Minor improvements
David Aspinall
2000-02-15
More projects aded
David Aspinall
2000-02-15
Note about registering.
David Aspinall
2000-02-15
Rephrasing.
David Aspinall
2000-02-15
Set version tag for new release.
David Aspinall
2000-02-15
Remove duplicate entry.
David Aspinall
2000-02-15
New development pages added, more links
David Aspinall
2000-02-09
Added link to OMEGA.
David Aspinall
2000-02-09
Improved download docs
David Aspinall
2000-02-09
Added note about countdown to 3.1
David Aspinall
2000-02-09
Set version tag for new release.
David Aspinall
2000-02-09
Direction to look at BUGS file
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-18
Fix to validator links
David Aspinall
2000-01-18
in url, change ~dcs7ttg to CARG, the permanent form
Paul Callaghan
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
Added slides, news about ETAPS demo.
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-03
Fix link to SRPM.
David Aspinall
1999-12-01
Moved notice about license to download.phtml. Made plea for registration eve...
David Aspinall
1999-12-01
Update link for Isamode to be on zermelo (careful)
David Aspinall
1999-12-01
Set version tag for new release.
David Aspinall
1999-12-01
Shorten note about imenu.
David Aspinall
1999-12-01
Fix HTML errors.
David Aspinall
1999-12-01
Add attribute that news was written by me.
David Aspinall
1999-12-01
Fix link to Dilip's rather uninformative page
David Aspinall
1999-12-01
Hedge on tag for validator image, it's really a lie and should have a questio...
David Aspinall
1999-12-01
Fix broken link
David Aspinall
1999-12-01
Removed unused descitem style.
David Aspinall
1999-12-01
Fix HTML errors by adding name arg to dt() function.
David Aspinall
1999-12-01
Fix HTML errors.
David Aspinall
[next]