proof-general/html/hits, 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
Renamed file
2001-09-09T17:54:22+00:00
David Aspinall
2001-09-09T17:54:22+00:00
4774e8e4c1284eb1adb4e992e9b57b00d5e9157f