proof-general/html/Kit/docs, branch master
Emacs plugins for proof management systems
Deleted file
2004-02-07T19:31:13+00:00
David Aspinall
2004-02-07T19:31:13+00:00
b9caaa8e4b66817dbc66d0e79b567b3285869fea
Updated from Kit repo
2003-09-25T09:12:32+00:00
David Aspinall
2003-09-25T09:12:32+00:00
289644a35778aadc291ade07f131ea03707120cd
New files.
2003-09-24T23:41:44+00:00
David Aspinall
2003-09-24T23:41:44+00:00
f26d9fd4b9886082435d076004eeebdfeea2ef4b