proof-general/pgkit/README, 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
Update web addr
2004-02-29T23:47:09+00:00
David Aspinall
2004-02-29T23:47:09+00:00
53b189c292365eb4ca275e759e373d2554856d83
New files.
2002-06-30T22:43:49+00:00
David Aspinall
2002-06-30T22:43:49+00:00
33f2f008506d69fb505760128352eb7d0ec8ffed