1.1 --- a/src/Pure/Syntax/symbol_font.ML	Mon Dec 16 15:04:23 1996 +0100
     1.2 +++ b/src/Pure/Syntax/symbol_font.ML	Mon Dec 16 15:45:01 1996 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4      Author:     Markus Wenzel, TU Muenchen
     1.5  
     1.6  The Isabelle symbol font.
     1.7 +enc_vector must be consistent with Distribution/lib/scripts/symbol_input.pl
     1.8  *)
     1.9  
    1.10  signature SYMBOL_FONT =