# HG changeset patch # User wenzelm # Date 961969632 -7200 # Node ID c702e212527094c959854ac42e1c5a8920774ed6 # Parent f8f54877a18c6d3b61ce181ca360897ccd037ca3 added IsarOutput (token-level theory output); diff -r f8f54877a18c -r c702e2125270 src/Pure/Isar/README --- a/src/Pure/Isar/README Sun Jun 25 23:46:52 2000 +0200 +++ b/src/Pure/Isar/README Sun Jun 25 23:47:12 2000 +0200 @@ -20,3 +20,4 @@ OuterParse (outer syntax parser combinators, see also Pure/General/scan.ML) OuterSyntax (outer syntax main) + IsarOutput (token-level theory output)