diff options
| author | David Aspinall | 2009-09-21 12:46:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-21 12:46:19 +0000 |
| commit | d450254ef35ddbad0676b4b7c27d61e7362518e9 (patch) | |
| tree | 55f907300b0eb763ddd7a2670cb91a73f49283e4 /isar/Example-Tokens.thy | |
| parent | f5447b7ae3873dc7d8d6d05f6c718d21c5086ff4 (diff) | |
Add customize group unicode-tokens-options to faces top-level group.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions