diff options
| author | Pierre Courtieu | 2000-05-16 17:23:47 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-05-16 17:23:47 +0000 |
| commit | 5d285946d8d13d678c6c1f0e846f3dfc93fa417c (patch) | |
| tree | 192ee579c3e76de559ebeee295bd04e44b2a1fa8 /isar/interface | |
| parent | 2a2f1863ed67460c03f5cb9a0020c249e2d80d2c (diff) | |
debugging coq menu for old Xemacs compatibility, David said he will do this
for other provers (already done ?).
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions