diff options
| author | Makarius Wenzel | 2000-07-08 14:30:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-08 14:30:44 +0000 |
| commit | 655feae949e6cd6b19778d819305bc192846217d (patch) | |
| tree | 0668aab3574dbe8afe9f25723bfc85be4df0f5e4 /generic | |
| parent | 1612ca82fab5e174d2454e1dd9a91192d14dc2ca (diff) | |
isabelle-command-line: try to be smart in ensuring proper Isabelle
command line, avoiding nil under all circumstances;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions