more abstract module Document;

--- a/src/Pure/PIDE/document.scala	Tue Mar 14 00:13:38 2017 +0100
+++ b/src/Pure/PIDE/document.scala	Tue Mar 14 09:41:02 2017 +0100
@@ -473,6 +473,11 @@
 
   /* model */
 
+  trait Session
+  {
+    def resources: Resources
+  }
+
   trait Model
   {
     def session: Session

--- a/src/Pure/PIDE/session.scala	Tue Mar 14 00:13:38 2017 +0100
+++ b/src/Pure/PIDE/session.scala	Tue Mar 14 09:41:02 2017 +0100
@@ -114,7 +114,7 @@
 }
 
 
-class Session(val resources: Resources)
+class Session(val resources: Resources) extends Document.Session
 {
   session =>