diff options
| author | David Aspinall | 2009-09-27 18:14:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-27 18:14:19 +0000 |
| commit | 5152120d3d9fb4d57fba65852fc1aedbb49511d0 (patch) | |
| tree | 1ca2210b66672542e771303d82ca7cd6a2a2c79a /isar/Example-Tokens.thy | |
| parent | 28d81fd2ff90e6173087d6a2b657f72c3fa00fa2 (diff) | |
Trace buffer: do not show this trace-output-regexp not set
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions