diff options
| author | David Aspinall | 2009-05-25 22:23:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-25 22:23:47 +0000 |
| commit | cafa86e49837c6cd526b9bb932a76d1dc3554a52 (patch) | |
| tree | 8dd9c191765b28643c65011bb95b17b3ebad4c15 /isar/Example.thy | |
| parent | 412261d34570dfe9af53e492fd68341ef24e2e98 (diff) | |
Set default value for `buffer-invisibility-spec'
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions