Scala 2
isabelle

class IsabelleSystem
[source: isabelle/IsabelleSystem.scala]
class IsabelleSystem
extends AnyRef
Value Summary
val charset : java.lang.String
val is_cygwin : Boolean
val symbols : Interpretation
Method Summary
def execute (redirect : Boolean, args : java.lang.String*) : java.lang.Process
def fifo_reader (fifo : java.lang.String) : java.io.BufferedReader
def find_logics : scala.List[java.lang.String]
def getenv (name : java.lang.String) : java.lang.String
def getenv_strict (name : java.lang.String) : java.lang.String
def isabelle_tool (args : java.lang.String*) : (java.lang.String, Int)
def mk_fifo : java.lang.String
def platform_file (path : java.lang.String) : java.io.File
def platform_path (source_path : java.lang.String) : java.lang.String
def rm_fifo (fifo : java.lang.String) : Unit
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Value Details
val charset : java.lang.String
val is_cygwin : Boolean
val symbols : Interpretation
Method Details
def getenv(name : java.lang.String) : java.lang.String
def getenv_strict(name : java.lang.String) : java.lang.String
def platform_path(source_path : java.lang.String) : java.lang.String
def platform_file(path : java.lang.String) : java.io.File
def execute(redirect : Boolean, args : java.lang.String*) : java.lang.Process
def isabelle_tool(args : java.lang.String*) : (java.lang.String, Int)
def mk_fifo : java.lang.String
def rm_fifo(fifo : java.lang.String) : Unit
def fifo_reader(fifo : java.lang.String) : java.io.BufferedReader
def find_logics : scala.List[java.lang.String]
Scala 2