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

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

Set version tag for new release. 2004-02-07T18:50:33+00:00 David Aspinall 2004-02-07T18:50:33+00:00 ded2112d3a756669e9521bdc284fef984741957a

Remove CVS junk 2003-10-05T16:23:20+00:00 David Aspinall 2003-10-05T16:23:20+00:00 cb97421f27c868b4c15c4bbdb2a567b06547fad6

Set version tag for new release. 2003-10-05T16:19:41+00:00 David Aspinall 2003-10-05T16:19:41+00:00 ee139bc13b1dec94c1f8e8042dcdcc740b5bf927

Update XEmacs version. 2003-09-25T00:46:40+00:00 David Aspinall 2003-09-25T00:46:40+00:00 9e72d756d5bdc9208f364c9a75cc8d938e7cf071

Set version tag for new release. 2003-09-25T00:01:58+00:00 David Aspinall 2003-09-25T00:01:58+00:00 ed616149d2b0125e402c7a8aa946f8c8c871eb26

Set version tag for new release. 2003-05-24T11:34:20+00:00 David Aspinall 2003-05-24T11:34:20+00:00 ff3f5b565ee1dada999a207c3db97adf96ad52bc

Set version tag for new release. 2003-05-23T09:12:34+00:00 David Aspinall 2003-05-23T09:12:34+00:00 a08d3349c773378c3278066a56d1dea58dea125a

Set version tag for new release. 2003-05-20T20:02:42+00:00 David Aspinall 2003-05-20T20:02:42+00:00 35e6e7d929626e6646e61701f59effb38d89e57e

Set version tag for new release. 2003-04-15T16:07:23+00:00 David Aspinall 2003-04-15T16:07:23+00:00 3d41fe48c535b4f2c3e50e7bf29233e12f7edd43