aboutsummaryrefslogtreecommitdiff
path: root/html
AgeCommit message (Expand)Author
2001-05-29Set version tag for new release.David Aspinall
2001-05-29Fix layout and typo.David Aspinall
2001-05-29Include PHP fileDavid Aspinall
2001-05-29Renamed fileDavid Aspinall
2001-05-29PHP version. Also dont mention junk filters.David Aspinall
2001-05-16Set version tag for new release.David Aspinall
2001-05-08Repair link via htmlshow.phpDavid Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08Set version tag for new release.David Aspinall
2001-05-08preliminary -> experimentalDavid Aspinall
2001-05-08No longer distrib SRPMDavid Aspinall
2001-05-08New news itemDavid Aspinall
2001-05-01Set version tag for new release.David Aspinall
2001-05-01Change link to kitDavid Aspinall
2001-05-01Change link to register pageDavid Aspinall
2001-05-01Include php fileDavid Aspinall
2001-05-01Register and kit shortcutsDavid Aspinall
2001-05-01Link to php files instead of htmlDavid Aspinall
2001-05-01Include php instead of htmlDavid Aspinall
2001-05-01Rename some html files phpDavid Aspinall
2001-05-01Deleted files.David Aspinall
2001-03-20Fixes to main pageDavid Aspinall
2001-03-20Change to my canonical www.dcs web addressDavid Aspinall
2001-03-20Remove proofgeneral.org on main pageDavid Aspinall
2001-03-20Set version tag for new release.David Aspinall
2001-03-20Changes to use proofgen@dcs for now instead of broken proofgeneral.orgDavid Aspinall
2001-03-20Fix to Coq web pageDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 03:26:24 +0000