Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added consistency comment
authoroheimb
Mon, 16 Dec 1996 15:45:01 +0100
changeset 2422 49a49fc4a0f0
parent 2421 a07181dd2118
child 2423 4550426cf8f7
added consistency comment
src/Pure/Syntax/symbol_font.ML file | annotate | diff | comparison | revisions 
--- 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 =
isabelle