proof-general/html/mailinglist.php, branch master
Emacs plugins for proof management systems
Renamed file
2001-05-29T17:45:00+00:00
David Aspinall
2001-05-29T17:45:00+00:00
5144a6103d16c0278c24a69d68dbd74fdfa676e3
PHP version. Also dont mention junk filters.
2001-05-29T17:43:41+00:00
David Aspinall
2001-05-29T17:43:41+00:00
43aad107460db62f23cadf68b2d36a565288cd2d