proof-general/lego/readonly, branch master
Emacs plugins for proof management systems
Deleted file
2006-09-22T15:27:20+00:00
David Aspinall
2006-09-22T15:27:20+00:00
055a2245b1b7831b0236cc0c9f82649d0494ac18
Moved from wrong place.
2000-04-07T14:16:35+00:00
David Aspinall
2000-04-07T14:16:35+00:00
a1cb622759dbfa6e93547e01ff6ad2eb9fc44921