proof-general/html/feedback.html, branch master Emacs plugins for proof management systems Deleted files. 2002-01-15T15:30:21+00:00 David Aspinall 2002-01-15T15:30:21+00:00 664939fec87ad3a69363cc6f0a5b008941604f4c 






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












Include php file
2001-05-01T14:20:58+00:00

David Aspinall

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

f4112b021f46d002aec8955a8212c6a98cba05b3












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