# HG changeset patch
# User wenzelm
# Date 1510489140 -3600
# Node ID 9498b7522a99b58284ed9a761a20eb7449d8c596
# Parent  57c37ee49c399ce40bf592d02c35f380c0eed689
PIDE resources for theory files;

diff -r 57c37ee49c39 -r 9498b7522a99 src/Pure/Thy/thy_resources.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/Thy/thy_resources.scala	Sun Nov 12 13:19:00 2017 +0100
@@ -0,0 +1,25 @@
+/*  Title:      Pure/Thy/thy_resources.scala
+    Author:     Makarius
+
+PIDE resources for theory files.
+*/
+
+package isabelle
+
+
+object Thy_Resources
+{
+  /* internal state */
+
+  sealed case class State(
+    models: Map[Document.Node.Name, Thy_Document_Model] = Map.empty)
+}
+
+class Thy_Resources(
+    val options: Options,
+    session_base: Sessions.Base,
+    log: Logger = No_Logger)
+  extends Resources(session_base, log = log)
+{
+  private val state = Synchronized(Thy_Resources.State())
+}
diff -r 57c37ee49c39 -r 9498b7522a99 src/Pure/build-jars
--- a/src/Pure/build-jars	Sun Nov 12 12:55:10 2017 +0100
+++ b/src/Pure/build-jars	Sun Nov 12 13:19:00 2017 +0100
@@ -130,6 +130,7 @@
   Thy/sessions.scala
   Thy/thy_document_model.scala
   Thy/thy_header.scala
+  Thy/thy_resources.scala
   Thy/thy_syntax.scala
   Tools/bibtex.scala
   Tools/build.scala