proof-general/html/oldrel.html, branch master
Emacs plugins for proof management systems
Renamed file
2001-09-03T12:29:55+00:00
David Aspinall
2001-09-03T12:29:55+00:00
2885afa55b4b4502f7fba2216eb18e6a57e0ba84
Renamed file
2000-09-28T15:01:50+00:00
David Aspinall
2000-09-28T15:01:50+00:00
bd7aa7923a25d16207842f9f3d6b773c2fc6fa58