diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-07-20 15:40:36 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-20 15:40:36 +0000 |
| commit | 80085467c40793aef82a3f344a815e8fcf3b2a93 (patch) | |
| tree | 2c1e882342424d538187aa62aa6fb91bf0dce2b0 /isa/todo | |
| parent | 26c7cc6a718c7d8d9acdbec4ff6d05297fa9b67f (diff) | |
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Diffstat (limited to 'isa/todo')
0 files changed, 0 insertions, 0 deletions