proof-general/html/projects/coqfile.html, 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
Tweaks
2000-03-09T07:48:32+00:00
David Aspinall
2000-03-09T07:48:32+00:00
9ae40ab19a1aa2a94f0def7e74a652ebb82417a9
New projects added
2000-03-01T11:05:00+00:00
David Aspinall
2000-03-01T11:05:00+00:00
f9d4f732f2af7f706afbd97f53bbb020154375b3