From 8acd76e62909776dfaee04113e20c5b9bc44adcd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 19 Aug 2010 09:16:21 +0000
Subject: Update link to STIX fonts

---
 etc/isar/TokensAcid.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.
-- 
cgit v1.2.3