Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
| | ||||
* | Changes to use proofgen@dcs for now instead of broken proofgeneral.org | 2001-03-20 | ||
| | ||||
* | Fix to Coq web page | 2001-03-20 | ||
| | ||||
* | *** empty log message *** | 2001-02-20 | ||
| | ||||
* | Set version tag for new release. | 2001-02-07 | ||
| | ||||
* | Set version tag for new release. | 2001-02-06 | ||
| | ||||
* | Set version tag for new release. | 2001-01-12 | ||
| | ||||
* | Set version tag for new release. | 2001-01-05 | ||
| | ||||
* | Set version tag for new release. | 2000-12-22 | ||
| | ||||
* | Set version tag for new release. | 2000-12-21 | ||
| | ||||
* | Set version tag for new release. | 2000-12-20 | ||
| | ||||
* | rename af2 -> Phox | 2000-12-15 | ||
| | ||||
* | Set version tag for new release. | 2000-12-15 | ||
| | ||||
* | Set version tag for new release. | 2000-12-07 | ||
| | ||||
* | Set version tag for new release. | 2000-12-01 | ||
| | ||||
* | Set version tag for new release. | 2000-11-17 | ||
| | ||||
* | Set version tag for new release. | 2000-11-15 | ||
| | ||||
* | Set version tag for new release. | 2000-10-19 | ||
| | ||||
* | Set version tag for new release. | 2000-10-18 | ||
| | ||||
* | Set version tag for new release. | 2000-10-18 | ||
| | ||||
* | Fix parse error. | 2000-10-18 | ||
| | ||||
* | Set version tag for new release. | 2000-10-03 | ||
| | ||||
* | Apparently X-Sym web pages have simpler install instructions now. | 2000-10-03 | ||
| | ||||
* | Set version tag for new release. | 2000-10-02 | ||
| | ||||
* | Note about current pre-release being outdated wrt 3.2 | 2000-10-02 | ||
| | ||||
* | Note about current pre-release being outdated wrt 3.2 | 2000-10-02 | ||
| | ||||
* | Updated web pages for 3.2 release | 2000-10-02 | ||
| | ||||
* | Link image to root dir. | 2000-09-29 | ||
| | ||||
* | Tweak | 2000-09-29 | ||
| | ||||
* | Set version tag for new release. | 2000-09-29 | ||
| | ||||
* | Minor change | 2000-09-29 | ||
| | ||||
* | Click to go back links to root. | 2000-09-29 | ||
| | ||||
* | Remove messy link_root links. | 2000-09-29 | ||
| | ||||
* | Short file instead of a link, so works in CVS. Bit annoying to duplicate, ↵ | 2000-09-29 | ||
| | | | | but never mind. | |||
* | Links for shortcut URLs. | 2000-09-29 | ||
| | ||||
* | Mention needed server hacks | 2000-09-29 | ||
| |