proof-general/html/kit.php, 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 






Mention Eclipse award
2004-01-09T14:59:39+00:00

David Aspinall

2004-01-09T14:59:39+00:00

7bb2faa29501477bff249033e58224b16b104fef












Remove proofgeneral.org domain.
2003-12-11T16:46:47+00:00

David Aspinall

2003-12-11T16:46:47+00:00

318d45596d7a57b90dbe685a3e1af3ec12a91469












Describe work currrently underway; distribute some docs
2003-09-24T23:56:17+00:00

David Aspinall

2003-09-24T23:56:17+00:00

5d0dc57d27f1ab8da216032a6fd25541d39ca9ae












Update my email and web
2003-01-16T13:58:17+00:00

David Aspinall

2003-01-16T13:58:17+00:00

6de932260c50a9200ef8b9aae007ca279049da63












PHP in php, html and no extn link to php
2001-09-13T15:53:41+00:00

David Aspinall

2001-09-13T15:53:41+00:00

954af91adb23aaae6203ccc228d20d7185445450












File determination nonsense
2001-09-09T17:34:46+00:00

David Aspinall

2001-09-09T17:34:46+00:00

7447b592679aaa2b488a3e53fe75234a06833bf4