proof-general/html/footer.html, branch master Emacs plugins for proof management systems Deleted file 2004-02-07T19:31:13+00:00 David Aspinall 2004-02-07T19:31:13+00:00 b9caaa8e4b66817dbc66d0e79b567b3285869fea 






Update addresses
2003-02-17T20:44:11+00:00

David Aspinall

2003-02-17T20:44:11+00:00

71b52dac340d4dd55ab420628a51123781c7fc1d












Remove validation stamp from footer, since its a lie.
2001-09-09T16:33:30+00:00

David Aspinall

2001-09-09T16:33:30+00:00

8a0a84716d00a9126234f2b9cb6f8a34e757d8bd












Change to my canonical www.dcs web address
2001-03-20T18:05:01+00:00

David Aspinall

2001-03-20T18:05:01+00:00

8d598218e731f82516cc684567f05a4d830cc439












Changes to use proofgen@dcs for now instead of broken proofgeneral.org
2001-03-20T16:44:55+00:00

David Aspinall

2001-03-20T16:44:55+00:00

a64c9401667e8ea98241a496ff6eab82381f1ffd












Renamed file
2000-09-28T15:01:50+00:00

David Aspinall

2000-09-28T15:01:50+00:00

bd7aa7923a25d16207842f9f3d6b773c2fc6fa58