proof-general/etc/mailinglist-bait, branch master

proof-general/etc/mailinglist-bait, branch master Emacs plugins for proof management systems Deleted files. 1999-11-17T19:55:59+00:00 David Aspinall 1999-11-17T19:55:59+00:00 9b8e1d43f08282a824c4c8db782593475411d791

Updated 1999-11-17T14:03:09+00:00 David Aspinall 1999-11-17T14:03:09+00:00 1f3bc5756940a7d58b32a549624a0fd10d0f52fe

Updates 1999-11-16T16:05:51+00:00 David Aspinall 1999-11-16T16:05:51+00:00 8c8850eb2df838e34ff3ed9fab40d2d6a76489d6