|
Scala 2
|
|
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
|
Scala 2
|
|