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






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












Try to fix PHP/html nonsense, by disabling SSI and enabling php for .html files
2001-09-13T13:44:53+00:00

David Aspinall

2001-09-13T13:44:53+00:00

e3d572318bd40aadd46d2e6a6a543f02afd47f33












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

David Aspinall

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

7447b592679aaa2b488a3e53fe75234a06833bf4












Working home page for PG kit
2000-09-27T14:15:43+00:00

David Aspinall

2000-09-27T14:15:43+00:00

945ac09333cdabdc98746bc16a5faeca4d81a151