diff options
| author | David Aspinall | 2009-09-13 10:38:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-13 10:38:55 +0000 |
| commit | 84681722395ef50246f54b4092c4274a493f295f (patch) | |
| tree | 803eb9fe7cc4e9ad23517666029936f05d6608a0 /isar/Example.thy | |
| parent | 21e952d79da3f466c4f10417ffd97e8f992196a8 (diff) | |
Times -> Times New Roman, seems to have better substitution behaviour
under fontconfig (i.e. existence of smoothly rendering free fonts with
same metrics)
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions