isabelle

class Isar

[source: isabelle/Isar.scala]

class Isar(isabelle_system : IsabelleSystem, results : EventBus[Result], args : java.lang.String*)
extends IsabelleProcess
Method Summary
def create_command (id : java.lang.String, text : java.lang.String) : Unit
def insert_command (prev : java.lang.String, id : java.lang.String) : Unit
def remove_command (id : java.lang.String) : Unit
Methods inherited from IsabelleProcess
session, parse_message, 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 create_command(id : java.lang.String, text : java.lang.String) : Unit

def insert_command(prev : java.lang.String, id : java.lang.String) : Unit

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