# HG changeset patch
# User wenzelm
# Date 1729270851 -7200
# Node ID 878f94921bec161e9a0b38b9aa6fe60c69842de5
# Parent  c2e020467336e16763bc7138245297a799a574b4
tuned comments;

diff -r c2e020467336 -r 878f94921bec src/Pure/Syntax/printer.ML
--- 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.
 *)