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]