src/Pure/PIDE/document.scala

       status: Boolean = false): List[Text.Info[A]]
   }
 
 
   /* model */
+
+  trait Session
+  {
+    def resources: Resources
+  }
 
   trait Model
   {
     def session: Session
     def is_stable: Boolean