diff options
| author | Makarius Wenzel | 2000-09-17 11:43:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-17 11:43:09 +0000 |
| commit | 554ff827aa3c6735f9d444ba015bb46086f0bd0d (patch) | |
| tree | 4aa7c8f9e96a3f89b5a1afc913b95b413a1c57bc /isa/interface | |
| parent | c2db763cedc7ff4551c784235b215ac8e103f792 (diff) | |
-I option for Isar vs. classic Isabelle mode;
tuned;
Diffstat (limited to 'isa/interface')
0 files changed, 0 insertions, 0 deletions