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.
tuned comments;
authorwenzelm
Fri, 18 Oct 2024 19:00:51 +0200
changeset 81193 878f94921bec
parent 81192 c2e020467336
child 81194 0e27325da568
tuned comments;
src/Pure/Syntax/printer.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/printer.ML	Fri Oct 18 19:00:13 2024 +0200
+++ b/src/Pure/Syntax/printer.ML	Fri Oct 18 19:00:51 2024 +0200
@@ -1,5 +1,6 @@
 (*  Title:      Pure/Syntax/printer.ML
-    Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
+    Author:     Tobias Nipkow, TU Muenchen
+    Author:     Makarius
 
 Pretty printing of asts, terms, types and print (ast) translation.
 *)
isabelle