src/Pure/Thy/thy_load.scala

separate module for jEdit primitives for loading theory files;

/*  Title:      Pure/Thy/thy_load.scala
    Author:     Makarius

Primitives for loading theory files.
*/

package isabelle

abstract class Thy_Load
{
  def register_thy(thy_name: String)
  def is_loaded(thy_name: String): Boolean
  def append(master_dir: String, path: Path): String
  def check_thy(node_name: String): Thy_Header
}