isabelle

trait Isar_Document

[source: isabelle/Isar_Document.scala]

trait Isar_Document
extends Isabelle_Process
Method Summary
def begin_document (id : java.lang.String, path : java.lang.String) : Unit
def define_command (id : java.lang.String, text : java.lang.String) : Unit
def edit_document (old_id : java.lang.String, new_id : java.lang.String, edits : scala.List[(java.lang.String, scala.Option[java.lang.String])]) : Unit
def end_document (id : java.lang.String) : Unit
Methods inherited from Isabelle_Process
session, interrupt, kill, output_sync, command, command, ML, close, try_close
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def define_command(id : java.lang.String, text : java.lang.String) : Unit

def begin_document(id : java.lang.String, path : java.lang.String) : Unit

def end_document(id : java.lang.String) : Unit

def edit_document(old_id : java.lang.String, new_id : java.lang.String, edits : scala.List[(java.lang.String, scala.Option[java.lang.String])]) : Unit