WN109728 created by

/usr/local/isabisac/bin$ sudo ./isabelle env > INSTALL-isa-env

/usr/local/isabisac/bin$ sudo mv INSTALL-isa-env ../

===========================================================================

POLY_HOME=/usr/local/bin

ISABELLE_TMP_PREFIX=/tmp/isabelle-root

REMOTE_SMT_URL=http://smt.in.tum.de/smt

JEDIT_APPLE_PROPERTIES=-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit

ML_IDENTIFIER=polyml-5.3.0_x86-linux

JEDIT_HOME=/usr/local/isabisac/contrib/jedit-4.3.2

MIRABELLE_THEORY=Main

KODKODI_PLATFORM=x86-linux

TERM=xterm

SHELL=/bin/bash

ISABELLE_IDENTIFIER=

ISABELLE_MAKEINDEX=makeindex

ISABELLE_PROCESS=/usr/local/isabisac/bin/isabelle-process

MIRABELLE_TIMEOUT=30

REMOTE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT/lib/scripts/remote_smt

ISABELLE_BIBTEX=bibtex

DVI_VIEWER=xdvi

REPLY=

ISABELLE_SETTINGS_PRESENT=true

HOME_JVM=/home/neuper

WWWFINDDIR=/usr/local/isabisac/src/Tools/WWW_Find

ISABELLE_FILE_IDENT=

ISABELLE_PATH=/home/neuper/.isabelle/heaps/:/usr/local/isabisac/heaps

USER=root

ML_SYSTEM=polyml-5.3.0

LS_COLORS=rs=0:di=01;34:ln=01;36:hl=44;37:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.flv=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.axv=01;35:*.anx=01;35:*.ogv=01;35:*.ogx=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:*.axa=00;36:*.oga=00;36:*.spx=00;36:*.xspf=00;36:

ISABELLE_DVIPS=dvips -D 600

SUDO_USER=neuper

ISABELLE_EPSTOPDF=epstopdf

SUDO_UID=1000

LIGHTTPD=/usr/sbin/lighttpd

ISABELLE_SITE_SETTINGS_PRESENT=true

ISABELLE_COMPONENTS=/usr/local/isabisac:/usr/local/isabisac/src/Pure:/usr/local/isabisac/src/FOL:/usr/local/isabisac/src/HOL:/usr/local/isabisac/src/ZF:/usr/local/isabisac/src/CCL:/usr/local/isabisac/src/CTT:/usr/local/isabisac/src/Cube:/usr/local/isabisac/src/FOLP:/usr/local/isabisac/src/HOLCF:/usr/local/isabisac/src/LCF:/usr/local/isabisac/src/Sequents:/usr/local/isabisac/src/Tools/Code:/usr/local/isabisac/src/Tools/WWW_Find:/usr/local/isabisac/src/HOL/Tools/ATP_Manager:/usr/local/isabisac/src/HOL/Mirabelle:/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares:/usr/local/isabisac/src/HOL/Tools/SMT:/usr/local/isabisac/contrib/e-1.0-004:/usr/local/isabisac/contrib/jedit-4.3.2:/usr/local/isabisac/contrib/kodkodi-1.2.13:/usr/local/isabisac/contrib/scala-2.8.0.RC5:/usr/local/isabisac/contrib/spass-3.7:/home/neuper/.isabelle

ISABELLE_DOC_FORMAT=pdf

KODKODI_JAVA_LIBRARY_PATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni/x86-linux

ISABELLE_HOME_USER=/home/neuper/.isabelle

USERNAME=root

X=/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools

ISABELLE_BROWSER_INFO=/home/neuper/.isabelle/browser_info

ML_PLATFORM=x86-linux

WWWCONFIG=/usr/local/isabisac/src/Tools/WWW_Find/lighttpd.conf

ML_OPTIONS=-H 200

MIRABELLE_LOGIC=HOL

PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin

ISABELLE_TOOL=/usr/local/isabisac/bin/isabelle

ISABELLE_SUM_OF_SQUARES=/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares

PWD=/usr/local/isabisac/bin

JEDIT_OPTIONS=-reuseview -noserver -nobackground

KODKODI_CLASSPATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/antlr-runtime-3.1.1.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/kodkod-20091117.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/kodkodi-1.2.13.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/sat4j-alloy-4.1.9.jar

ISABELLE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT

ISABELLE_HOME=/usr/local/isabisac

LANG=en_US.UTF-8

ISABELLE_LINE_EDITOR=

E_VERSION=1.0-004

ISABELLE_OUTPUT=/home/neuper/.isabelle/heaps//polyml-5.3.0_x86-linux

ML_HOME=/usr/local/isabisac/contrib/polyml/x86-linux

KODKODI=/usr/local/isabisac/contrib/kodkodi-1.2.13

PDF_VIEWER=xpdf

KODKODI_JAR=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar

ISABELLE_LOGIC=HOL

HOME=/home/neuper

SUDO_COMMAND=./isabelle env

SHLVL=0

ISABELLE_PLATFORM64=x86_64-linux

MIRABELLE_OUTPUT_PATH=/tmp/mirabelle

E_HOME=/usr/local/isabisac/contrib/e-1.0-004/x86-linux

KODKODI_JNI=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni

SPASS_HOME=/usr/local/isabisac/contrib/spass-3.7/x86-linux/bin

KODKODI_VERSION=1.2.13

SPASS_VERSION=3.7

ISABELLE_LATEX=latex

JEDIT_JAVA_OPTIONS=-Xms128m -Xmx512m -Xss2m -Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit

LOGNAME=root

ISABELLE_TOOLS=/usr/local/isabisac/lib/Tools:/usr/local/isabisac/src/Tools/Code/lib/Tools:/usr/local/isabisac/src/Tools/WWW_Find/lib/Tools:/usr/local/isabisac/src/HOL/Mirabelle/lib/Tools:/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools

ISABELLE_ATP_MANAGER=/usr/local/isabisac/src/HOL/Tools/ATP_Manager

MIRABELLE_HOME=/usr/local/isabisac/src/HOL/Mirabelle

ML_SOURCES=/usr/local/isabisac/contrib/polyml/x86-linux/../src

CLASSPATH=/usr/local/isabisac/lib/classes/Pure.jar

PROOFGENERAL_OPTIONS=

ISABELLE_PLATFORM=x86-linux

ISABELLE_PDFLATEX=pdflatex

PROOFGENERAL_HOME=/usr/local/isabisac/contrib/ProofGeneral

ISABELLE_FONT_FAMILY=IsabelleText

SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5

DISPLAY=:0.0

SUDO_GID=1000

ISABELLE_JAVA=java

XSYMBOL_INSTALLFONTS=

ISABELLE_DOCS=/usr/local/isabisac/doc

PRINT_COMMAND=lp

JEDIT_STYLE_SHEETS=/usr/local/isabisac/lib/html/isabelle.css:/usr/local/isabisac/contrib/jedit-4.3.2/etc/isabelle-jedit.css:/home/neuper/.isabelle/etc/isabelle.css:/home/neuper/.isabelle/etc/isabelle-jedit.css

ISABELLE_SYMBOLS=/usr/local/isabisac/etc/symbols:/home/neuper/.isabelle/etc/symbols

JEDIT_SETTINGS=/home/neuper/.isabelle/jedit

XAUTHORITY=/var/run/gdm/auth-for-neuper-5cfutV/database

COLORTERM=gnome-terminal

ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML

ISABELLE_JEDIT_OPTIONS=-m xsymbols -m no_brackets -m no_type_brackets

splitarray=() {  SPLITARRAY=();

 local IFS="$1";

 shift;

 for X in $*;

 do

 SPLITARRAY["${#SPLITARRAY[@]}"]="$X";

 done

}

classpath=() {  for X in "$@";

 do

 if [ -z "$CLASSPATH" ]; then

 CLASSPATH="$X";

 else

 CLASSPATH="$CLASSPATH:$X";

 fi;

 done

}

jvmpath=() {  echo "$@"

}

choosefrom=() {  local RESULT="";

 local FILE="";

 for FILE in "$@";

 do

 [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE";

 done;

 [ -z "$RESULT" ] && RESULT="$FILE";

 echo "$RESULT"

}

init_component=() {  local COMPONENT="$1";

 if [ ! -d "$COMPONENT" ]; then

 echo "Bad Isabelle component: \"$COMPONENT\"" 1>&2;

 exit 2;

 else

 if [ -z "$ISABELLE_COMPONENTS" ]; then

 ISABELLE_COMPONENTS="$COMPONENT";

 else

 ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT";

 fi;

 fi;

 if [ -f "$COMPONENT/etc/settings" ]; then

 source "$COMPONENT/etc/settings" || exit 2;

 fi;

 if [ -f "$COMPONENT/etc/components" ]; then

 { 

 while { 

 unset REPLY;

 read -r;

 test "$?" = 0 -o -n "$REPLY"

 }; do

 case "$REPLY" in 

 \#* | "")

 ;;

 /*)

 init_component "$REPLY"

 ;;

 *)

 init_component "$COMPONENT/$REPLY"

 ;;

 esac;

 done

 } < "$COMPONENT/etc/components";

 fi

}

isabelle=() {  "$ISABELLE_TOOL" "$@"

}