diff options
| author | David Aspinall | 2002-12-29 16:18:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-12-29 16:18:55 +0000 |
| commit | 274c2cdfd58440d163a6da10858db319e773f4a7 (patch) | |
| tree | 922d73a7cf289c7b5e7064b29bc59b0ddd190aa1 /html | |
| parent | 60594f3eae52795f82fd668c7618d6f8b12978cd (diff) | |
Try to catch nesting too deep ugliness (esp in Isabelle tracing)
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions