proof-general/doc/README, branch master
Emacs plugins for proof management systems
Renamed file
1999-11-26T12:38:20+00:00
David Aspinall
1999-11-26T12:38:20+00:00
b29462f75d3d3dc361c06b1568d81662f3af979a
Instructions for docs
1999-08-19T14:32:31+00:00
David Aspinall
1999-08-19T14:32:31+00:00
fd6f7ccd16bd8fb0041539b8c19c2f26c6338173