proof-general/etc/Mailman/listinfo.html, branch master

proof-general/etc/Mailman/listinfo.html, branch master Emacs plugins for proof management systems Deleted file 2009-09-07T20:31:39+00:00 David Aspinall 2009-09-07T20:31:39+00:00 5492bc751b140106e59c60e7499f1a43fd5ca045

Purge proofgeneral.org 2004-03-02T22:23:35+00:00 David Aspinall 2004-03-02T22:23:35+00:00 a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5

Remove spurious white space 2002-07-14T17:02:01+00:00 David Aspinall 2002-07-14T17:02:01+00:00 d4c3d893f14c2b724704875f4ef800dfd2d8bd98

Cleanup html, fix URLs to final versions. 2002-07-14T10:41:55+00:00 David Aspinall 2002-07-14T10:41:55+00:00 9dd38947a6cc1f8f81e3ac592dc4052602c18f91

Tidy up source, improve titles. 2002-07-13T23:04:12+00:00 David Aspinall 2002-07-13T23:04:12+00:00 13473a6001b6013bec5611f86699324b814e4275

New files. 2002-07-13T22:58:45+00:00 David Aspinall 2002-07-13T22:58:45+00:00 e7ff8535dab991ef3db12800947a4ea377b6c5b8