diff options
| author | David Aspinall | 2009-08-25 11:52:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-25 11:52:10 +0000 |
| commit | 6fc0fc1dee4ac994a4f116df6699514be7f02796 (patch) | |
| tree | 9b674d101c166f389badd2dce6944690cfecaef7 /isar/Example-Tokens.thy | |
| parent | 6705f896cb0fffceaab3d7b4cdb2921a70e769a2 (diff) | |
Add recommendation for DejaVu fonts. Update magic.
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions