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-08-28
Set version tag for new release.
David Aspinall
2000-08-28
News updated
David Aspinall
2000-08-28
Link to two manuals now.
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-16
Modified, now white paper contains DTDs (soon)
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-12
Minor updates
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-04
CVS web script
David Aspinall
2000-07-04
Changes for CVS web style fixup
David Aspinall
2000-07-04
Ignore file for xvpics put there by gimp
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-06-01
Added links to latest manual
David Aspinall
2000-05-30
Set version tag for new release.
David Aspinall
2000-05-29
Set version tag for new release.
David Aspinall
2000-05-25
Make doc link to 3.1, not pre-release. Minor extra editing on new release.
David Aspinall
2000-05-25
Second toolbar patch in 3.1.6 now.
David Aspinall
2000-05-25
Minor
David Aspinall
2000-05-25
Set version tag for new release.
David Aspinall
2000-05-25
Added link to HELM
David Aspinall
2000-05-25
Fix para spacing
David Aspinall
2000-05-25
Note about 3.1.6
David Aspinall
2000-05-17
Set version tag for new release.
David Aspinall
2000-05-17
Updated
David Aspinall
2000-05-16
Reference tweak
David Aspinall
2000-05-16
Set version tag for new release.
David Aspinall
2000-05-16
Updated PG talk slides
David Aspinall
2000-05-16
Better reference to TACAS paper. Added link to white paper draft.
David Aspinall
2000-05-11
Set version tag for new release.
David Aspinall
2000-05-11
Tidied page a bit
David Aspinall
2000-05-09
Added browsable CVS.
David Aspinall
2000-05-09
Set version tag for new release.
David Aspinall
2000-05-09
New project (unlinked yet)
David Aspinall
2000-05-05
Missing para
David Aspinall
2000-05-05
Buglet in html
David Aspinall
2000-05-05
Set version tag for new release.
David Aspinall
2000-05-05
Hot news about FAQ.
David Aspinall
2000-05-01
Set version tag for new release.
David Aspinall
[next]