src/Pure/Thy/thy_load.scala
author wenzelm
Tue, 30 Aug 2011 11:43:47 +0200
changeset 44577 96b6388d06c4
parent 44574 24444588fddd
child 44615 a4ff8a787202
permissions -rw-r--r--
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
}