index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
html
Commit message (
Expand
)
Author
Age
*
Add prover-specific logo rather than generic ones...
David Aspinall
2000-09-23
*
Image of the general with ??? badge
David Aspinall
2000-09-23
*
Set version tag for new release.
David Aspinall
2000-09-21
*
Set version tag for new release.
David Aspinall
2000-09-20
*
Set version tag for new release.
David Aspinall
2000-09-18
*
Set version tag for new release.
David Aspinall
2000-09-14
*
Updates
David Aspinall
2000-09-14
*
Shrunk a bit
David Aspinall
2000-09-14
*
Set version tag for new release.
David Aspinall
2000-09-13
*
Minor changes and improvements
David Aspinall
2000-09-13
*
Reduced sizes of images.
David Aspinall
2000-09-13
*
Revamp style a bit -- not so good with netscape but OK elsewhere.
David Aspinall
2000-09-13
*
Set version tag for new release.
David Aspinall
2000-09-12
*
Set version tag for new release.
David Aspinall
2000-09-11
*
Set version tag for new release.
David Aspinall
2000-08-29
*
Tweak
David Aspinall
2000-08-29
*
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-28
*
Set version tag for new release.
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
*
Modified, now white paper contains DTDs (soon)
David Aspinall
2000-07-16
*
Set version tag for new release.
David Aspinall
2000-07-13
*
Set version tag for new release.
David Aspinall
2000-07-12
*
Minor updates
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
*
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-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
*
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
*
Added links to latest manual
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
*
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-25
[next]