aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Collapse)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-09-27
|
* Already shrunken general for buggy browsers benefit.Gravatar David Aspinall2000-09-27
|
* Updated web pages, misc improvements.Gravatar David Aspinall2000-09-27
|
* Working home page for PG kitGravatar David Aspinall2000-09-27
|
* Added kit stuff: just copies of the DTDs at the moment.Gravatar David Aspinall2000-09-27
|
* Set version tag for new release.Gravatar David Aspinall2000-09-26
|
* Link to Isar instead of Isar/README.Gravatar David Aspinall2000-09-26
|
* Fix Pauls web addressGravatar David Aspinall2000-09-26
|
* Fix Proof General web page to www.proofgeneral.org.Gravatar David Aspinall2000-09-26
|
* TypoGravatar David Aspinall2000-09-26
|
* Set version tag for new release.Gravatar David Aspinall2000-09-25
|
* Set version tag for new release.Gravatar David Aspinall2000-09-23
|
* Forthcoming news itemGravatar David Aspinall2000-09-23
|
* Use prover-specific logos rather than generic ones...Gravatar David Aspinall2000-09-23
|
* Changed size of imageGravatar David Aspinall2000-09-23
|
* MinorGravatar David Aspinall2000-09-23
|
* Add prover-specific logo rather than generic ones...Gravatar David Aspinall2000-09-23
|
* Image of the general with ??? badgeGravatar David Aspinall2000-09-23
|
* Set version tag for new release.Gravatar David Aspinall2000-09-21
|
* Set version tag for new release.Gravatar David Aspinall2000-09-20
|
* Set version tag for new release.Gravatar David Aspinall2000-09-18
|
* Set version tag for new release.Gravatar David Aspinall2000-09-14
|
* UpdatesGravatar David Aspinall2000-09-14
|
* Shrunk a bitGravatar David Aspinall2000-09-14
|
* Set version tag for new release.Gravatar David Aspinall2000-09-13
|
* Minor changes and improvementsGravatar David Aspinall2000-09-13
|
* Reduced sizes of images.Gravatar David Aspinall2000-09-13
|
* Revamp style a bit -- not so good with netscape but OK elsewhere.Gravatar David Aspinall2000-09-13
|
* Set version tag for new release.Gravatar David Aspinall2000-09-12
|
* Set version tag for new release.Gravatar David Aspinall2000-09-11
|
* Set version tag for new release.Gravatar David Aspinall2000-08-29
|
* TweakGravatar David Aspinall2000-08-29
|
* Set version tag for new release.Gravatar David Aspinall2000-08-28
|
* News updatedGravatar David Aspinall2000-08-28
|
* Link to two manuals now.Gravatar David Aspinall2000-08-28
|
* Set version tag for new release.Gravatar David Aspinall2000-08-09
|
* Set version tag for new release.Gravatar David Aspinall2000-07-26
|
* Set version tag for new release.Gravatar David Aspinall2000-07-16
|
* Modified, now white paper contains DTDs (soon)Gravatar David Aspinall2000-07-16
|
* Set version tag for new release.Gravatar David Aspinall2000-07-13
|
* Set version tag for new release.Gravatar David Aspinall2000-07-12
|
* Minor updatesGravatar David Aspinall2000-07-12
|
* Set version tag for new release.Gravatar David Aspinall2000-07-05
|
* Set version tag for new release.Gravatar David Aspinall2000-07-04
|
* CVS web scriptGravatar David Aspinall2000-07-04
|
* Changes for CVS web style fixupGravatar David Aspinall2000-07-04
|
* Ignore file for xvpics put there by gimpGravatar David Aspinall2000-07-04
|
* Set version tag for new release.Gravatar David Aspinall2000-07-03
|
* Set version tag for new release.Gravatar David Aspinall2000-06-29
|
* Set version tag for new release.Gravatar David Aspinall2000-06-27
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 21:05:28 +0000