Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_parse.ML
changeset 2385 73d1435aa729
parent 2360 1b6bc618c356
child 2694 b98365c6e869 
--- a/src/Pure/Thy/thy_parse.ML	Fri Dec 13 17:37:11 1996 +0100
+++ b/src/Pure/Thy/thy_parse.ML	Fri Dec 13 17:37:42 1996 +0100
@@ -337,6 +337,7 @@
   " val parse_ast_translation = [];\n\
   \ val parse_translation = [];\n\
   \ val print_translation = [];\n\
+  \ val typed_print_translation = [];\n\
   \ val print_ast_translation = [];";
 
 val trfun_args =
@@ -480,6 +481,7 @@
         \\n\
         \|> add_trfuns\n"
         ^ trfun_args ^ "\n\
+        \|> add_trfunsT typed_print_translation \n\
         \\n"
         ^ extxt ^ "\n\
         \\n\
isabelle