| changeset 64718 | 3197b68f4314 |
| parent 64673 | b5965890e54d |
| child 64759 | 100941134718 |
--- a/src/Pure/PIDE/resources.scala Sat Dec 31 11:39:57 2016 +0100 +++ b/src/Pure/PIDE/resources.scala Sat Dec 31 11:43:06 2016 +0100 @@ -23,7 +23,8 @@ class Resources( val loaded_theories: Set[String], val known_theories: Map[String, Document.Node.Name], - val base_syntax: Outer_Syntax) + val base_syntax: Outer_Syntax, + val log: Logger = No_Logger) { /* document node names */