diff options
| author | Pierre Courtieu | 2020-03-02 14:48:21 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2020-03-02 14:48:21 +0100 |
| commit | 21debc12c6771bc00ed6ae1e1b37312e8205ec93 (patch) | |
| tree | 1cf778c1219b92e3f380b1223eb90379b155d4e5 /isar/Example-Tokens.thy | |
| parent | 2a17093f6a7b168fedabc623602edec35aef8d8a (diff) | |
Fix #462.
Fixed making the lexer detect the number after "do".
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions