2 /usr/local/isabisac/bin$ sudo ./isabelle env > INSTALL-isa-env
3 /usr/local/isabisac/bin$ sudo mv INSTALL-isa-env ../
4 ===========================================================================
6 POLY_HOME=/usr/local/bin
7 ISABELLE_TMP_PREFIX=/tmp/isabelle-root
8 REMOTE_SMT_URL=http://smt.in.tum.de/smt
9 JEDIT_APPLE_PROPERTIES=-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit
10 ML_IDENTIFIER=polyml-5.3.0_x86-linux
11 JEDIT_HOME=/usr/local/isabisac/contrib/jedit-4.3.2
13 KODKODI_PLATFORM=x86-linux
17 ISABELLE_MAKEINDEX=makeindex
18 ISABELLE_PROCESS=/usr/local/isabisac/bin/isabelle-process
20 REMOTE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT/lib/scripts/remote_smt
21 ISABELLE_BIBTEX=bibtex
24 ISABELLE_SETTINGS_PRESENT=true
26 WWWFINDDIR=/usr/local/isabisac/src/Tools/WWW_Find
28 ISABELLE_PATH=/home/neuper/.isabelle/heaps/:/usr/local/isabisac/heaps
30 ML_SYSTEM=polyml-5.3.0
31 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:
32 ISABELLE_DVIPS=dvips -D 600
34 ISABELLE_EPSTOPDF=epstopdf
36 LIGHTTPD=/usr/sbin/lighttpd
37 ISABELLE_SITE_SETTINGS_PRESENT=true
38 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
39 ISABELLE_DOC_FORMAT=pdf
40 KODKODI_JAVA_LIBRARY_PATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni/x86-linux
41 ISABELLE_HOME_USER=/home/neuper/.isabelle
43 X=/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools
44 ISABELLE_BROWSER_INFO=/home/neuper/.isabelle/browser_info
46 WWWCONFIG=/usr/local/isabisac/src/Tools/WWW_Find/lighttpd.conf
49 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin
50 ISABELLE_TOOL=/usr/local/isabisac/bin/isabelle
51 ISABELLE_SUM_OF_SQUARES=/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares
52 PWD=/usr/local/isabisac/bin
53 JEDIT_OPTIONS=-reuseview -noserver -nobackground
54 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
55 ISABELLE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT
56 ISABELLE_HOME=/usr/local/isabisac
60 ISABELLE_OUTPUT=/home/neuper/.isabelle/heaps//polyml-5.3.0_x86-linux
61 ML_HOME=/usr/local/isabisac/contrib/polyml/x86-linux
62 KODKODI=/usr/local/isabisac/contrib/kodkodi-1.2.13
64 KODKODI_JAR=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar
67 SUDO_COMMAND=./isabelle env
69 ISABELLE_PLATFORM64=x86_64-linux
70 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
71 E_HOME=/usr/local/isabisac/contrib/e-1.0-004/x86-linux
72 KODKODI_JNI=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni
73 SPASS_HOME=/usr/local/isabisac/contrib/spass-3.7/x86-linux/bin
74 KODKODI_VERSION=1.2.13
77 JEDIT_JAVA_OPTIONS=-Xms128m -Xmx512m -Xss2m -Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit
79 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
80 ISABELLE_ATP_MANAGER=/usr/local/isabisac/src/HOL/Tools/ATP_Manager
81 MIRABELLE_HOME=/usr/local/isabisac/src/HOL/Mirabelle
82 ML_SOURCES=/usr/local/isabisac/contrib/polyml/x86-linux/../src
83 CLASSPATH=/usr/local/isabisac/lib/classes/Pure.jar
85 ISABELLE_PLATFORM=x86-linux
86 ISABELLE_PDFLATEX=pdflatex
87 PROOFGENERAL_HOME=/usr/local/isabisac/contrib/ProofGeneral
88 ISABELLE_FONT_FAMILY=IsabelleText
89 SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5
94 ISABELLE_DOCS=/usr/local/isabisac/doc
96 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
97 ISABELLE_SYMBOLS=/usr/local/isabisac/etc/symbols:/home/neuper/.isabelle/etc/symbols
98 JEDIT_SETTINGS=/home/neuper/.isabelle/jedit
99 XAUTHORITY=/var/run/gdm/auth-for-neuper-5cfutV/database
100 COLORTERM=gnome-terminal
101 ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML
102 ISABELLE_JEDIT_OPTIONS=-m xsymbols -m no_brackets -m no_type_brackets
103 splitarray=() { SPLITARRAY=();
108 SPLITARRAY["${#SPLITARRAY[@]}"]="$X";
111 classpath=() { for X in "$@";
113 if [ -z "$CLASSPATH" ]; then
116 CLASSPATH="$CLASSPATH:$X";
120 jvmpath=() { echo "$@"
122 choosefrom=() { local RESULT="";
126 [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE";
128 [ -z "$RESULT" ] && RESULT="$FILE";
131 init_component=() { local COMPONENT="$1";
132 if [ ! -d "$COMPONENT" ]; then
133 echo "Bad Isabelle component: \"$COMPONENT\"" 1>&2;
136 if [ -z "$ISABELLE_COMPONENTS" ]; then
137 ISABELLE_COMPONENTS="$COMPONENT";
139 ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT";
142 if [ -f "$COMPONENT/etc/settings" ]; then
143 source "$COMPONENT/etc/settings" || exit 2;
145 if [ -f "$COMPONENT/etc/components" ]; then
150 test "$?" = 0 -o -n "$REPLY"
157 init_component "$REPLY"
160 init_component "$COMPONENT/$REPLY"
164 } < "$COMPONENT/etc/components";
167 isabelle=() { "$ISABELLE_TOOL" "$@"