proof-general/html/mailinglist, branch master

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

Remove proofgeneral.org domain. 2003-12-11T16:46:47+00:00 David Aspinall 2003-12-11T16:46:47+00:00 318d45596d7a57b90dbe685a3e1af3ec12a91469

Mention support@proofgeneral.org address. 2002-08-28T13:45:51+00:00 David Aspinall 2002-08-28T13:45:51+00:00 f614ba8b24487903a879cbecaa02be62ea7cec84

Mention developers list too 2002-07-14T17:36:49+00:00 David Aspinall 2002-07-14T17:36:49+00:00 bc848b8a9256ab811bb45e82ea5833a90812421c

Typo 2002-07-14T12:30:19+00:00 David Aspinall 2002-07-14T12:30:19+00:00 576d3f177f6912505ee2fe6bde2c582f56c1c696

Remove extra hr, use h3 2002-07-13T17:11:55+00:00 David Aspinall 2002-07-13T17:11:55+00:00 70c374792f44ed4fcc1a615a86a2b600d23540c9

Fix mailman links, remove subscription form from here. 2002-07-13T17:09:58+00:00 David Aspinall 2002-07-13T17:09:58+00:00 3c24059b1604905f0c0b61ce22992168028adad9

Renamed file 2001-05-29T17:45:00+00:00 David Aspinall 2001-05-29T17:45:00+00:00 5144a6103d16c0278c24a69d68dbd74fdfa676e3