aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
2000-09-29Links for shortcut URLs.David Aspinall
2000-09-29Mention needed server hacksDavid Aspinall
2000-09-29Remove link_root nonsenseDavid Aspinall
2000-09-28Moved to use .html instead of .phtmlDavid Aspinall
2000-09-28Renamed filesDavid Aspinall
2000-09-28Renamed fileDavid Aspinall
2000-09-28Set version tag for new release.David Aspinall
2000-09-27Set version tag for new release.David Aspinall
2000-09-27Already shrunken general for buggy browsers benefit.David Aspinall
2000-09-27Updated web pages, misc improvements.David Aspinall
2000-09-27Working home page for PG kitDavid Aspinall
2000-09-27Added kit stuff: just copies of the DTDs at the moment.David Aspinall
2000-09-26Set version tag for new release.David Aspinall
2000-09-26Link to Isar instead of Isar/README.David Aspinall
2000-09-26Fix Pauls web addressDavid Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-09-26TypoDavid Aspinall
2000-09-25Set version tag for new release.David Aspinall
2000-09-23Set version tag for new release.David Aspinall
2000-09-23Forthcoming news itemDavid Aspinall
2000-09-23Use prover-specific logos rather than generic ones...David Aspinall
2000-09-23Changed size of imageDavid Aspinall
2000-09-23MinorDavid Aspinall
2000-09-23Add prover-specific logo rather than generic ones...David Aspinall
2000-09-23Image of the general with ??? badgeDavid Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-20Set version tag for new release.David Aspinall
2000-09-18Set version tag for new release.David Aspinall
2000-09-14Set version tag for new release.David Aspinall
2000-09-14UpdatesDavid Aspinall
2000-09-14Shrunk a bitDavid Aspinall
2000-09-13Set version tag for new release.David Aspinall
2000-09-13Minor changes and improvementsDavid Aspinall
2000-09-13Reduced sizes of images.David Aspinall
2000-09-13Revamp style a bit -- not so good with netscape but OK elsewhere.David Aspinall
2000-09-12Set version tag for new release.David Aspinall
2000-09-11Set version tag for new release.David Aspinall
2000-08-29Set version tag for new release.David Aspinall
2000-08-29TweakDavid Aspinall
2000-08-28Set version tag for new release.David Aspinall
2000-08-28News updatedDavid Aspinall
2000-08-28Link to two manuals now.David Aspinall
2000-08-09Set version tag for new release.David Aspinall
2000-07-26Set version tag for new release.David Aspinall
2000-07-16Set version tag for new release.David Aspinall
2000-07-16Modified, now white paper contains DTDs (soon)David Aspinall
2000-07-13Set version tag for new release.David Aspinall
2000-07-12Set version tag for new release.David Aspinall
2000-07-12Minor updatesDavid Aspinall
2000-07-05Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 05:31:48 +0000