isabelle

object Isabelle_Process

[source: isabelle/Isabelle_Process.scala]

object Isabelle_Process
extends AnyRef
Method Summary
def parse_message (isabelle_system : Isabelle_System, result : Result) : Elem
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Class Summary
class Result (val kind : scala.Enumeration.Value, val props : scala.List[(java.lang.String, java.lang.String)], val result : java.lang.String) extends AnyRef
Object Summary
object Kind extends scala.Enumeration
Method Details
def parse_message(isabelle_system : Isabelle_System, result : Result) : Elem