diff options
| author | David Aspinall | 2005-08-14 15:46:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-08-14 15:46:35 +0000 |
| commit | f174885165e05cdd4a6655a49ac29db948029bf9 (patch) | |
| tree | ed396fbddf3fa8aa4c513334b8402f8649d5a496 /isar/Example.thy | |
| parent | 44046f344d313e179f325530541dd6c233da0871 (diff) | |
Fix plastic-shell-adjust-line-width for mutliple frame mode.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions