aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
...
* Fixes to main pageGravatar David Aspinall2001-03-20
* Change to my canonical www.dcs web addressGravatar David Aspinall2001-03-20
* Remove proofgeneral.org on main pageGravatar David Aspinall2001-03-20
* Set version tag for new release.Gravatar David Aspinall2001-03-20
* Changes to use proofgen@dcs for now instead of broken proofgeneral.orgGravatar David Aspinall2001-03-20
* Fix to Coq web pageGravatar David Aspinall2001-03-20
* *** empty log message ***Gravatar Christophe Raffalli2001-02-20
* Set version tag for new release.Gravatar David Aspinall2001-02-07
* Set version tag for new release.Gravatar David Aspinall2001-02-06
* Set version tag for new release.Gravatar David Aspinall2001-01-12
* Set version tag for new release.Gravatar David Aspinall2001-01-05
* Set version tag for new release.Gravatar David Aspinall2000-12-22
* Set version tag for new release.Gravatar David Aspinall2000-12-21
* Set version tag for new release.Gravatar David Aspinall2000-12-20
* rename af2 -> PhoxGravatar David Aspinall2000-12-15
* Set version tag for new release.Gravatar David Aspinall2000-12-15
* 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, 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 16:54:43 +0000