Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve stylesheet syntax, make menubar smaller | 2001-08-28 | |
* | Set version tag for new release. | 2001-08-17 | |
* | Set version tag for new release. | 2001-08-16 | |
* | Add link to browse files | 2001-08-16 | |
* | Add link to browse package | 2001-08-16 | |
* | Add link to individual files | 2001-08-16 | |
* | Fix screenshots link | 2001-08-15 | |
* | Fix again. | 2001-08-15 | |
* | Fix link | 2001-08-15 | |
* | Set version tag for new release. | 2001-08-10 | |
* | Set version tag for new release. | 2001-08-03 | |
* | Fix link back to fileshow.php | 2001-08-03 | |
* | Renamed file | 2001-08-03 | |
* | Fix screenshot link | 2001-08-03 | |
* | Fix links to gallery | 2001-08-01 | |
* | Deleted files. | 2001-08-01 | |
* | Renamed file | 2001-08-01 | |
* | Moved to .php | 2001-08-01 | |
* | Fix typo | 2001-08-01 | |
* | Renamed file | 2001-08-01 | |
* | Added news | 2001-08-01 | |
* | Set version tag for new release. | 2001-08-01 | |
* | Set version tag for new release. | 2001-07-23 | |
* | Set version tag for new release. | 2001-07-09 | |
* | Fix Coq link. | 2001-05-29 | |
* | Set version tag for new release. | 2001-05-29 | |
* | Fix layout and typo. | 2001-05-29 | |
* | Include PHP file | 2001-05-29 | |
* | Renamed file | 2001-05-29 | |
* | PHP version. Also dont mention junk filters. | 2001-05-29 | |
* | Set version tag for new release. | 2001-05-16 | |
* | Repair link via htmlshow.php | 2001-05-08 | |
* | Set version tag for new release. | 2001-05-08 | |
* | Set version tag for new release. | 2001-05-08 | |
* | preliminary -> experimental | 2001-05-08 | |
* | No longer distrib SRPM | 2001-05-08 | |
* | New news item | 2001-05-08 | |
* | Set version tag for new release. | 2001-05-01 | |
* | Change link to kit | 2001-05-01 | |
* | Change link to register page | 2001-05-01 | |
* | Include php file | 2001-05-01 | |
* | Register and kit shortcuts | 2001-05-01 | |
* | Link to php files instead of html | 2001-05-01 | |
* | Include php instead of html | 2001-05-01 | |
* | Rename some html files php | 2001-05-01 | |
* | Deleted files. | 2001-05-01 | |
* | Fixes to main page | 2001-03-20 | |
* | Change to my canonical www.dcs web address | 2001-03-20 | |
* | Remove proofgeneral.org on main page | 2001-03-20 | |
* | Set version tag for new release. | 2001-03-20 |