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.
updated reference to parents
authorlcp
Fri, 12 Aug 1994 11:01:18 +0200
changeset 513 97a879e8d01b
parent 512 55755ed9fab9
child 514 ab2c867829ec
updated reference to parents
src/Pure/Syntax/ast.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/ast.ML	Fri Aug 12 10:57:55 1994 +0200
+++ b/src/Pure/Syntax/ast.ML	Fri Aug 12 11:01:18 1994 +0200
@@ -89,7 +89,7 @@
 fun pretty_ast (Constant a) = Pretty.str (quote a)
   | pretty_ast (Variable x) = Pretty.str x
   | pretty_ast (Appl asts) =
-      Pretty.parents "(" ")" (Pretty.breaks (map pretty_ast asts));
+      Pretty.enclose "(" ")" (Pretty.breaks (map pretty_ast asts));
 
 
 (* pprint_ast *)
isabelle