aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
2001-02-20*** empty log message ***Christophe Raffalli
2001-02-07Set version tag for new release.David Aspinall
2001-02-06Set version tag for new release.David Aspinall
2001-01-12Set version tag for new release.David Aspinall
2001-01-05Set version tag for new release.David Aspinall
2000-12-22Set version tag for new release.David Aspinall
2000-12-21Set version tag for new release.David Aspinall
2000-12-20Set version tag for new release.David Aspinall
2000-12-15rename af2 -> PhoxDavid Aspinall
2000-12-15Set version tag for new release.David Aspinall
2000-12-07Set version tag for new release.David Aspinall
2000-12-01Set version tag for new release.David Aspinall
2000-11-17Set version tag for new release.David Aspinall
2000-11-15Set version tag for new release.David Aspinall
2000-10-19Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Set version tag for new release.David Aspinall
2000-10-18Fix parse error.David Aspinall
2000-10-03Set version tag for new release.David Aspinall
2000-10-03Apparently X-Sym web pages have simpler install instructions now.David Aspinall
2000-10-02Set version tag for new release.David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Note about current pre-release being outdated wrt 3.2David Aspinall
2000-10-02Updated web pages for 3.2 releaseDavid Aspinall
2000-09-29Link image to root dir.David Aspinall
2000-09-29TweakDavid Aspinall
2000-09-29Set version tag for new release.David Aspinall
2000-09-29Minor changeDavid Aspinall
2000-09-29Click to go back links to root.David Aspinall
2000-09-29Remove messy link_root links.David Aspinall
2000-09-29Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:34:12 +0000