|
Scala 2
|
|
isabelle/IsarDocument.scala]
trait
IsarDocument
extends IsabelleProcess| 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 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
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
|
Scala 2
|
|