aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2001-08-03
* Fix link back to fileshow.phpGravatar David Aspinall2001-08-03
* Renamed fileGravatar David Aspinall2001-08-03
* Fix screenshot linkGravatar David Aspinall2001-08-03
* Fix links to galleryGravatar David Aspinall2001-08-01
* Deleted files.Gravatar David Aspinall2001-08-01
* Renamed fileGravatar David Aspinall2001-08-01
* Moved to .phpGravatar David Aspinall2001-08-01
* Fix typoGravatar David Aspinall2001-08-01
* Renamed fileGravatar David Aspinall2001-08-01
* Added newsGravatar David Aspinall2001-08-01
* Set version tag for new release.Gravatar David Aspinall2001-08-01
* Set version tag for new release.Gravatar David Aspinall2001-07-23
* Set version tag for new release.Gravatar David Aspinall2001-07-09
* Fix Coq link.Gravatar David Aspinall2001-05-29
* Set version tag for new release.Gravatar David Aspinall2001-05-29
* Fix layout and typo.Gravatar David Aspinall2001-05-29
* Include PHP fileGravatar David Aspinall2001-05-29
* Renamed fileGravatar David Aspinall2001-05-29
* PHP version. Also dont mention junk filters.Gravatar David Aspinall2001-05-29
* Set version tag for new release.Gravatar David Aspinall2001-05-16
* Repair link via htmlshow.phpGravatar David Aspinall2001-05-08
* Set version tag for new release.Gravatar David Aspinall2001-05-08
* Set version tag for new release.Gravatar David Aspinall2001-05-08
* preliminary -> experimentalGravatar David Aspinall2001-05-08
* No longer distrib SRPMGravatar David Aspinall2001-05-08
* New news itemGravatar David Aspinall2001-05-08
* Set version tag for new release.Gravatar David Aspinall2001-05-01
* Change link to kitGravatar David Aspinall2001-05-01
* Change link to register pageGravatar David Aspinall2001-05-01
* Include php fileGravatar David Aspinall2001-05-01
* Register and kit shortcutsGravatar David Aspinall2001-05-01
* Link to php files instead of htmlGravatar David Aspinall2001-05-01
* Include php instead of htmlGravatar David Aspinall2001-05-01
* Rename some html files phpGravatar David Aspinall2001-05-01
* Deleted files.Gravatar David Aspinall2001-05-01
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 21:01:07 +0000