Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove validation stamp from footer, since its a lie. | David Aspinall | 2001-09-09 |
* | Change to my canonical www.dcs web address | David Aspinall | 2001-03-20 |
* | Changes to use proofgen@dcs for now instead of broken proofgeneral.org | David Aspinall | 2001-03-20 |
* | Renamed file | David Aspinall | 2000-09-28 |