# HG changeset patch # User wenzelm # Date 1373211016 -7200 # Node ID 7118524a2a245a66d1ff29299743c3c9399af6eb # Parent d2ad6eae514fdcc94b17dd6e01acbce311e7b5d3 tuned comments; diff -r d2ad6eae514f -r 7118524a2a24 src/Pure/Isar/isar_syn.ML --- a/src/Pure/Isar/isar_syn.ML Sun Jul 07 10:24:00 2013 +0200 +++ b/src/Pure/Isar/isar_syn.ML Sun Jul 07 17:30:16 2013 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/Isar/isar_syn.ML - Author: Markus Wenzel, TU Muenchen + Author: Makarius -Isar/Pure outer syntax. +Outer syntax for Isabelle/Pure. *) structure Isar_Syn: sig end = diff -r d2ad6eae514f -r 7118524a2a24 src/Pure/pure_syn.ML --- a/src/Pure/pure_syn.ML Sun Jul 07 10:24:00 2013 +0200 +++ b/src/Pure/pure_syn.ML Sun Jul 07 17:30:16 2013 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/pure_syn.ML Author: Makarius -Minimal outer syntax for bootstrapping Pure. +Minimal outer syntax for bootstrapping Isabelle/Pure. *) structure Pure_Syn: sig end =