aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Collapse)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2000-12-07
|
* Set version tag for new release.Gravatar David Aspinall2000-12-01
|
* Set version tag for new release.Gravatar David Aspinall2000-11-17
|
* Set version tag for new release.Gravatar David Aspinall2000-11-15
|
* Set version tag for new release.Gravatar David Aspinall2000-10-19
|
* Set version tag for new release.Gravatar David Aspinall2000-10-18
|
* Set version tag for new release.Gravatar David Aspinall2000-10-18
|
* Fix parse error.Gravatar David Aspinall2000-10-18
|
* Set version tag for new release.Gravatar David Aspinall2000-10-03
|
* Apparently X-Sym web pages have simpler install instructions now.Gravatar David Aspinall2000-10-03
|
* Set version tag for new release.Gravatar David Aspinall2000-10-02
|
* Note about current pre-release being outdated wrt 3.2Gravatar David Aspinall2000-10-02
|
* Note about current pre-release being outdated wrt 3.2Gravatar David Aspinall2000-10-02
|
* Updated web pages for 3.2 releaseGravatar David Aspinall2000-10-02
|
* Link image to root dir.Gravatar David Aspinall2000-09-29
|
* TweakGravatar David Aspinall2000-09-29
|
* Set version tag for new release.Gravatar David Aspinall2000-09-29
|
* 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, ↵Gravatar David Aspinall2000-09-29
| | | | but never mind.
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-30 22:33:08 +0000