proof-general/papers, branch master Emacs plugins for proof management systems Deleted file 2004-02-08T15:22:18+00:00 David Aspinall 2004-02-08T15:22:18+00:00 95c23599f31419bef3ae16c51611848df94f3763 






Fix Proof General web page to www.proofgeneral.org.
2000-09-26T12:18:37+00:00

David Aspinall

2000-09-26T12:18:37+00:00

665793e2e5cc528af5cff6995ec9a2c072502f04












Note that theres nothing there yet.
2000-07-16T15:18:18+00:00

David Aspinall

2000-07-16T15:18:18+00:00

5701b73a3503781e9006901487fc96ca73a5e9aa