# HG changeset patch
# User oheimb
# Date 850747501 -3600
# Node ID 49a49fc4a0f0fddb0306d352b97e68fea28e943e
# Parent  a07181dd2118723693f57c2f8126b2c7ace91a0d
added consistency comment

diff -r a07181dd2118 -r 49a49fc4a0f0 src/Pure/Syntax/symbol_font.ML
--- a/src/Pure/Syntax/symbol_font.ML	Mon Dec 16 15:04:23 1996 +0100
+++ b/src/Pure/Syntax/symbol_font.ML	Mon Dec 16 15:45:01 1996 +0100
@@ -3,6 +3,7 @@
     Author:     Markus Wenzel, TU Muenchen
 
 The Isabelle symbol font.
+enc_vector must be consistent with Distribution/lib/scripts/symbol_input.pl
 *)
 
 signature SYMBOL_FONT =