src/Tools/WWW_Find/unicode_symbols.ML
changeset 53315 b102e20cec78
parent 50136 a96bd08258a2
child 56135 efa24d31e595
--- a/src/Tools/WWW_Find/unicode_symbols.ML	Fri Aug 30 10:07:20 2013 +0200
+++ b/src/Tools/WWW_Find/unicode_symbols.ML	Fri Aug 30 11:00:46 2013 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Tools/WWW_Find/unicode_symbols.ML
     Author:     Timothy Bourke, NICTA
 
-Ad-hoc parsing of ~~/etc/symbols.
+Parsing of private etc/symbols.
 *)
 
 signature UNICODE_SYMBOLS =
@@ -176,7 +176,8 @@
 end;
 
 local
-val (fromsym, fromabbr, tosym, toabbr) = read_symbols (Path.explode "~~/etc/symbols");
+val (fromsym, fromabbr, tosym, toabbr) =
+  read_symbols (Path.explode "~~/src/Tools/WWW_Find/etc/symbols");
 in
 val symbol_to_unicode = Symtab.lookup fromsym;
 val abbrev_to_unicode = Symtab.lookup fromabbr;