diff options
| author | David Aspinall | 2009-12-01 00:49:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 00:49:34 +0000 |
| commit | 50f3bb5aa9d46082244977df5d727159f6dc4a0a (patch) | |
| tree | 9e1e1d9774f5f803048ff2392579169e2ede1415 /isar/Example-Tokens.thy | |
| parent | 7e3eb90d09027bc29a6d592769dad562b1e02855 (diff) | |
isar-control-char-format-regexp: prevent subsequent control chars being captured
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions