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












Link to kit.php
2001-09-09T17:35:48+00:00

David Aspinall

2001-09-09T17:35:48+00:00

0b93c8c806fada68414de16852219ed8dba5f779












Register and kit shortcuts
2001-05-01T14:20:22+00:00

David Aspinall

2001-05-01T14:20:22+00:00

10f7d3927af2446baf7d90f7066a6929c75bd921