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