proof-general/pgkit, branch master

proof-general/pgkit, branch master Emacs plugins for proof management systems Obsolete files 2009-09-06T21:29:21+00:00 David Aspinall 2009-09-06T21:29:21+00:00 297c79ce392065529ea20a2ced95554a67230c91

Deleted file 2005-05-17T19:09:14+00:00 David Aspinall 2005-05-17T19:09:14+00:00 f37f969d8f2e7d1c1ced3ece6c03f36a38b07c17

Update web addr 2004-02-29T23:47:09+00:00 David Aspinall 2004-02-29T23:47:09+00:00 53b189c292365eb4ca275e759e373d2554856d83

Update email and web addresses 2004-02-08T15:32:27+00:00 David Aspinall 2004-02-08T15:32:27+00:00 f65abf7bebf70421c7cd990db2ab688542c6de0b

Updated. 2003-10-05T15:33:03+00:00 David Aspinall 2003-10-05T15:33:03+00:00 3d00a973733c36f07a3664b05637d190defcdf3a

New files. 2002-08-29T08:59:00+00:00 David Aspinall 2002-08-29T08:59:00+00:00 5b85346b9939cc6c422d735ceccaa2316590d8fd

New files. 2002-06-30T22:43:49+00:00 David Aspinall 2002-06-30T22:43:49+00:00 33f2f008506d69fb505760128352eb7d0ec8ffed