proof-general/etc/isar/README, branch master Emacs plugins for proof management systems bug2: Resolved as of 17.9.00; 2000-09-21T13:19:23+00:00 Makarius Wenzel 2000-09-21T13:19:23+00:00 ea03ed2f4ffee16e40bbd80cfe335cd7df9a9ead 






Added some bug test cases.
2000-09-13T15:56:24+00:00

David Aspinall

2000-09-13T15:56:24+00:00

a34b3f178b95f9d1a1c93d9d1c3966bf83d170b0