proof-general/html/develdownload.html, branch master

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

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

Set version tag for new release. 2001-03-20T17:40:32+00:00 David Aspinall 2001-03-20T17:40:32+00:00 9dd831d0356a045ae46e7258317e2019861826f3

*** empty log message *** 2001-02-20T09:33:06+00:00 Christophe Raffalli 2001-02-20T09:33:06+00:00 2c6bd8fa09eb07e05d768702553f2ef53a6fa198

Set version tag for new release. 2001-02-07T15:24:08+00:00 David Aspinall 2001-02-07T15:24:08+00:00 808187033afa969e50624987bc9d9b50eb5bf9cf

Set version tag for new release. 2001-02-06T16:29:31+00:00 David Aspinall 2001-02-06T16:29:31+00:00 1ead0c6bab9ed40df820d5db1a9aa0e2fde262b7

Set version tag for new release. 2001-01-12T11:51:30+00:00 David Aspinall 2001-01-12T11:51:30+00:00 aec30b6177fa078581e588cf0b10a78200ac21d5

Set version tag for new release. 2001-01-05T12:58:04+00:00 David Aspinall 2001-01-05T12:58:04+00:00 fa1f90a41608965f2a2a09273d5cf2669a6820e6