proof-general/REGISTER, branch master

proof-general/REGISTER, branch master Emacs plugins for proof management systems Fix domain name 2003-12-11T17:01:20+00:00 David Aspinall 2003-12-11T17:01:20+00:00 0164d341b4b5c5c55f39abde040aa4c591cfcf90

Updated. 2002-08-09T08:16:19+00:00 David Aspinall 2002-08-09T08:16:19+00:00 566bc444ad7c33f66d705d3f4bf905532bb852d2

Note about mailing list and registration. 2001-05-29T17:45:31+00:00 David Aspinall 2001-05-29T17:45:31+00:00 4e69c6ebde42c285f2e534d5783e812fa28e2b0b