proof-general/html/Kit/Makefile, 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.
2003-09-24T23:37:05+00:00
David Aspinall
2003-09-24T23:37:05+00:00
00dfe954a92fb68601a72f0453d88f4af14a40c7
New files.
2001-09-13T16:04:59+00:00
David Aspinall
2001-09-13T16:04:59+00:00
13980845b34fb3c91b97cf06c3fac293bed56c33