diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-04-16 15:53:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-04-16 15:53:01 +0000 |
| commit | 9d69d66256b4c88c89fb3903de29bc71b2fb36cb (patch) | |
| tree | 8fdb3c45272382052d7efa0d8941d9dd103d96cc /isar/interface-setup.el | |
| parent | e4f3c2ad6eccd68e82765eb45a5ede50a2738236 (diff) | |
added 'isar proof assistant;
Diffstat (limited to 'isar/interface-setup.el')
0 files changed, 0 insertions, 0 deletions