proof-general/html/screenshot, 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
Fix
2002-07-15T09:32:38+00:00
David Aspinall
2002-07-15T09:32:38+00:00
9c206542d81dc4072f6a32ef9eaeeb6e8dd3cbe9
Links for shortcut URLs.
2000-09-29T17:33:57+00:00
David Aspinall
2000-09-29T17:33:57+00:00
8c4e7dac5c76cdb6edee6ed307e08dfd32025c7b