aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* Minor changeGravatar David Aspinall2000-09-29
* Click to go back links to root.Gravatar David Aspinall2000-09-29
* Remove messy link_root links.Gravatar David Aspinall2000-09-29
* Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...Gravatar David Aspinall2000-09-29
* Links for shortcut URLs.Gravatar David Aspinall2000-09-29
* Mention needed server hacksGravatar David Aspinall2000-09-29
* Remove link_root nonsenseGravatar David Aspinall2000-09-29
* Moved to use .html instead of .phtmlGravatar David Aspinall2000-09-28
* Renamed filesGravatar David Aspinall2000-09-28
* Renamed fileGravatar David Aspinall2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* 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