diff options
| author | David Aspinall | 2000-05-26 18:08:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-26 18:08:17 +0000 |
| commit | a8a4203ca93c5ac56b0570c06089040f8a570a5c (patch) | |
| tree | 628153db79a051a0dbaf49f14e7b248ed666adbd /isar/Example.thy | |
| parent | dacba6c398ece6ea00677ce77c7377dcf82aae23 (diff) | |
Update to use generic option indent-line, and switch inside
function rather than mode (so can be turned on/off easily).
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions