diff options
| author | David Aspinall | 2009-12-03 00:24:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-03 00:24:11 +0000 |
| commit | e19e6d8c98141f52852eb84eb222a524a82481e2 (patch) | |
| tree | 14ccef4fdf9bc59791b9fa5805edac8297bad698 /isar/Example-Tokens.thy | |
| parent | b345b5a20680046d40fd99f8844be3b35dbb0726 (diff) | |
Rework script span element hiding to avoid buffer-invisibility-spec. Add command elements.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions