src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Sun Jan 08 17:36:00 2017 +0100
+++ b/src/Pure/PIDE/resources.scala	Sun Jan 08 17:42:31 2017 +0100
@@ -26,6 +26,9 @@
   val base_syntax: Outer_Syntax,
   val log: Logger = No_Logger)
 {
+  val thy_info = new Thy_Info(this)
+
+
   /* document node names */
 
   def node_name(qualifier: String, raw_path: Path): Document.Node.Name =