--- 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