Scala 2
|
|
isabelle/Isar.scala
]
class
Isar(isabelle_system : IsabelleSystem, results : EventBus[Result], args : java.lang.String*)
extends
IsabelleProcessMethod 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
Scala 2
|
|