src/Pure/Thy/thy_load.scala
author wenzelm
Thu, 01 Sep 2011 13:39:40 +0200
changeset 44616 4beeaf2a226d
parent 44615 a4ff8a787202
child 44953 cdfe42f1267c
permissions -rw-r--r--
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43651
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/Thy/thy_load.scala
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     3
44577
96b6388d06c4 separate module for jEdit primitives for loading theory files;
wenzelm
parents: 44574
diff changeset
     4
Primitives for loading theory files.
43651
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     5
*/
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     6
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     7
package isabelle
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     8
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
     9
abstract class Thy_Load
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
    10
{
44574
24444588fddd actual auto loading of required files;
wenzelm
parents: 44159
diff changeset
    11
  def register_thy(thy_name: String)
24444588fddd actual auto loading of required files;
wenzelm
parents: 44159
diff changeset
    12
  def is_loaded(thy_name: String): Boolean
44616
4beeaf2a226d tuned signature;
wenzelm
parents: 44615
diff changeset
    13
  def append(dir: String, path: Path): String
44615
a4ff8a787202 more abstract Document.Node.Name;
wenzelm
parents: 44577
diff changeset
    14
  def check_thy(node_name: Document.Node.Name): Thy_Header
43651
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
    15
}
511df47bcadc some support for theory files within Isabelle/Scala session;
wenzelm
parents:
diff changeset
    16