src/Pure/Thy/thy_load.scala
author wenzelm
Tue Aug 30 11:43:47 2011 +0200 (2011-08-30 ago)
changeset 44577 96b6388d06c4
parent 44574 24444588fddd
child 44615 a4ff8a787202
permissions -rw-r--r--
separate module for jEdit primitives for loading theory files;
wenzelm@43651
     1
/*  Title:      Pure/Thy/thy_load.scala
wenzelm@43651
     2
    Author:     Makarius
wenzelm@43651
     3
wenzelm@44577
     4
Primitives for loading theory files.
wenzelm@43651
     5
*/
wenzelm@43651
     6
wenzelm@43651
     7
package isabelle
wenzelm@43651
     8
wenzelm@43651
     9
abstract class Thy_Load
wenzelm@43651
    10
{
wenzelm@44574
    11
  def register_thy(thy_name: String)
wenzelm@44574
    12
  def is_loaded(thy_name: String): Boolean
wenzelm@44574
    13
  def append(master_dir: String, path: Path): String
wenzelm@44574
    14
  def check_thy(node_name: String): Thy_Header
wenzelm@43651
    15
}
wenzelm@43651
    16