From fe925c18df503158bafb377fa09f0d4423c0b734 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 28 Aug 2009 16:53:54 +0000
Subject: Doc: pointer to TokensAcid

---
 isar/Example-Tokens.thy | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'isar/Example-Tokens.thy')

diff --git a/isar/Example-Tokens.thy b/isar/Example-Tokens.thy
index d9e5ca4d..35807855 100644
--- a/isar/Example-Tokens.thy
+++ b/isar/Example-Tokens.thy
@@ -3,6 +3,9 @@
       using symbols.  
       View and process this document with Unicode Tokens engaged.
    
+      For an more exaustive test of token display, visit the test
+      file etc/isar/TokensAcid.thy
+
       $Id$
 *)
 
-- 
cgit v1.2.3