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






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-29T17:52:29+00:00

David Aspinall

2001-05-29T17:52:29+00:00

5d8d8bfe151abb76d17a2818453a366d568561af












PHP version.  Also dont mention junk filters.
2001-05-29T17:43:41+00:00

David Aspinall

2001-05-29T17:43:41+00:00

43aad107460db62f23cadf68b2d36a565288cd2d












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

David Aspinall

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

bd7aa7923a25d16207842f9f3d6b773c2fc6fa58