diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:16:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-19 09:16:21 +0000 |
| commit | 8acd76e62909776dfaee04113e20c5b9bc44adcd (patch) | |
| tree | 7ed3d3facc235f664319ba8f71db24c0da158821 /etc/isar | |
| parent | 133453ff0339ea7fe3007022ba4a0a5259e339ca (diff) | |
Update link to STIX fonts
Diffstat (limited to 'etc/isar')
| -rw-r--r-- | etc/isar/TokensAcid.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index c7129c0c..ea32cfbe 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -19,7 +19,7 @@ begin tokens at positions 208, 262 and 263. I recommend using StixGeneral for symbols. - See http://olegueret.googlepages.com/stixfonts-ttf + See http://www.stixfonts.org/ This is the default for the symbol font if you have it installed. Other good choices are: Lucida Grande, Lucida Sans Unicode, or DejaVuLGC Sans Mono. |