neuper@37890: WN109728 created by
neuper@37890: /usr/local/isabisac/bin$ sudo ./isabelle env > INSTALL-isa-env
neuper@37890: /usr/local/isabisac/bin$ sudo mv INSTALL-isa-env ../
neuper@37890: ===========================================================================
neuper@37890:  
neuper@37890: POLY_HOME=/usr/local/bin
neuper@37890: ISABELLE_TMP_PREFIX=/tmp/isabelle-root
neuper@37890: REMOTE_SMT_URL=http://smt.in.tum.de/smt
neuper@37890: JEDIT_APPLE_PROPERTIES=-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit
neuper@37890: ML_IDENTIFIER=polyml-5.3.0_x86-linux
neuper@37890: JEDIT_HOME=/usr/local/isabisac/contrib/jedit-4.3.2
neuper@37890: MIRABELLE_THEORY=Main
neuper@37890: KODKODI_PLATFORM=x86-linux
neuper@37890: TERM=xterm
neuper@37890: SHELL=/bin/bash
neuper@37890: ISABELLE_IDENTIFIER=
neuper@37890: ISABELLE_MAKEINDEX=makeindex
neuper@37890: ISABELLE_PROCESS=/usr/local/isabisac/bin/isabelle-process
neuper@37890: MIRABELLE_TIMEOUT=30
neuper@37890: REMOTE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT/lib/scripts/remote_smt
neuper@37890: ISABELLE_BIBTEX=bibtex
neuper@37890: DVI_VIEWER=xdvi
neuper@37890: REPLY=
neuper@37890: ISABELLE_SETTINGS_PRESENT=true
neuper@37890: HOME_JVM=/home/neuper
neuper@37890: WWWFINDDIR=/usr/local/isabisac/src/Tools/WWW_Find
neuper@37890: ISABELLE_FILE_IDENT=
neuper@37890: ISABELLE_PATH=/home/neuper/.isabelle/heaps/:/usr/local/isabisac/heaps
neuper@37890: USER=root
neuper@37890: ML_SYSTEM=polyml-5.3.0
neuper@37890: 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:
neuper@37890: ISABELLE_DVIPS=dvips -D 600
neuper@37890: SUDO_USER=neuper
neuper@37890: ISABELLE_EPSTOPDF=epstopdf
neuper@37890: SUDO_UID=1000
neuper@37890: LIGHTTPD=/usr/sbin/lighttpd
neuper@37890: ISABELLE_SITE_SETTINGS_PRESENT=true
neuper@37890: 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
neuper@37890: ISABELLE_DOC_FORMAT=pdf
neuper@37890: KODKODI_JAVA_LIBRARY_PATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni/x86-linux
neuper@37890: ISABELLE_HOME_USER=/home/neuper/.isabelle
neuper@37890: USERNAME=root
neuper@37890: X=/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools
neuper@37890: ISABELLE_BROWSER_INFO=/home/neuper/.isabelle/browser_info
neuper@37890: ML_PLATFORM=x86-linux
neuper@37890: WWWCONFIG=/usr/local/isabisac/src/Tools/WWW_Find/lighttpd.conf
neuper@37890: ML_OPTIONS=-H 200
neuper@37890: MIRABELLE_LOGIC=HOL
neuper@37890: PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin
neuper@37890: ISABELLE_TOOL=/usr/local/isabisac/bin/isabelle
neuper@37890: ISABELLE_SUM_OF_SQUARES=/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares
neuper@37890: PWD=/usr/local/isabisac/bin
neuper@37890: JEDIT_OPTIONS=-reuseview -noserver -nobackground
neuper@37890: 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
neuper@37890: ISABELLE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT
neuper@37890: ISABELLE_HOME=/usr/local/isabisac
neuper@37890: LANG=en_US.UTF-8
neuper@37890: ISABELLE_LINE_EDITOR=
neuper@37890: E_VERSION=1.0-004
neuper@37890: ISABELLE_OUTPUT=/home/neuper/.isabelle/heaps//polyml-5.3.0_x86-linux
neuper@37890: ML_HOME=/usr/local/isabisac/contrib/polyml/x86-linux
neuper@37890: KODKODI=/usr/local/isabisac/contrib/kodkodi-1.2.13
neuper@37890: PDF_VIEWER=xpdf
neuper@37890: KODKODI_JAR=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar
neuper@37890: ISABELLE_LOGIC=HOL
neuper@37890: HOME=/home/neuper
neuper@37890: SUDO_COMMAND=./isabelle env
neuper@37890: SHLVL=0
neuper@37890: ISABELLE_PLATFORM64=x86_64-linux
neuper@37890: MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
neuper@37890: E_HOME=/usr/local/isabisac/contrib/e-1.0-004/x86-linux
neuper@37890: KODKODI_JNI=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni
neuper@37890: SPASS_HOME=/usr/local/isabisac/contrib/spass-3.7/x86-linux/bin
neuper@37890: KODKODI_VERSION=1.2.13
neuper@37890: SPASS_VERSION=3.7
neuper@37890: ISABELLE_LATEX=latex
neuper@37890: JEDIT_JAVA_OPTIONS=-Xms128m -Xmx512m -Xss2m -Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit
neuper@37890: LOGNAME=root
neuper@37890: 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
neuper@37890: ISABELLE_ATP_MANAGER=/usr/local/isabisac/src/HOL/Tools/ATP_Manager
neuper@37890: MIRABELLE_HOME=/usr/local/isabisac/src/HOL/Mirabelle
neuper@37890: ML_SOURCES=/usr/local/isabisac/contrib/polyml/x86-linux/../src
neuper@37890: CLASSPATH=/usr/local/isabisac/lib/classes/Pure.jar
neuper@37890: PROOFGENERAL_OPTIONS=
neuper@37890: ISABELLE_PLATFORM=x86-linux
neuper@37890: ISABELLE_PDFLATEX=pdflatex
neuper@37890: PROOFGENERAL_HOME=/usr/local/isabisac/contrib/ProofGeneral
neuper@37890: ISABELLE_FONT_FAMILY=IsabelleText
neuper@37890: SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5
neuper@37890: DISPLAY=:0.0
neuper@37890: SUDO_GID=1000
neuper@37890: ISABELLE_JAVA=java
neuper@37890: XSYMBOL_INSTALLFONTS=
neuper@37890: ISABELLE_DOCS=/usr/local/isabisac/doc
neuper@37890: PRINT_COMMAND=lp
neuper@37890: 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
neuper@37890: ISABELLE_SYMBOLS=/usr/local/isabisac/etc/symbols:/home/neuper/.isabelle/etc/symbols
neuper@37890: JEDIT_SETTINGS=/home/neuper/.isabelle/jedit
neuper@37890: XAUTHORITY=/var/run/gdm/auth-for-neuper-5cfutV/database
neuper@37890: COLORTERM=gnome-terminal
neuper@37890: ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML
neuper@37890: ISABELLE_JEDIT_OPTIONS=-m xsymbols -m no_brackets -m no_type_brackets
neuper@37890: splitarray=() {  SPLITARRAY=();
neuper@37890:  local IFS="$1";
neuper@37890:  shift;
neuper@37890:  for X in $*;
neuper@37890:  do
neuper@37890:  SPLITARRAY["${#SPLITARRAY[@]}"]="$X";
neuper@37890:  done
neuper@37890: }
neuper@37890: classpath=() {  for X in "$@";
neuper@37890:  do
neuper@37890:  if [ -z "$CLASSPATH" ]; then
neuper@37890:  CLASSPATH="$X";
neuper@37890:  else
neuper@37890:  CLASSPATH="$CLASSPATH:$X";
neuper@37890:  fi;
neuper@37890:  done
neuper@37890: }
neuper@37890: jvmpath=() {  echo "$@"
neuper@37890: }
neuper@37890: choosefrom=() {  local RESULT="";
neuper@37890:  local FILE="";
neuper@37890:  for FILE in "$@";
neuper@37890:  do
neuper@37890:  [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE";
neuper@37890:  done;
neuper@37890:  [ -z "$RESULT" ] && RESULT="$FILE";
neuper@37890:  echo "$RESULT"
neuper@37890: }
neuper@37890: init_component=() {  local COMPONENT="$1";
neuper@37890:  if [ ! -d "$COMPONENT" ]; then
neuper@37890:  echo "Bad Isabelle component: \"$COMPONENT\"" 1>&2;
neuper@37890:  exit 2;
neuper@37890:  else
neuper@37890:  if [ -z "$ISABELLE_COMPONENTS" ]; then
neuper@37890:  ISABELLE_COMPONENTS="$COMPONENT";
neuper@37890:  else
neuper@37890:  ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT";
neuper@37890:  fi;
neuper@37890:  fi;
neuper@37890:  if [ -f "$COMPONENT/etc/settings" ]; then
neuper@37890:  source "$COMPONENT/etc/settings" || exit 2;
neuper@37890:  fi;
neuper@37890:  if [ -f "$COMPONENT/etc/components" ]; then
neuper@37890:  { 
neuper@37890:  while { 
neuper@37890:  unset REPLY;
neuper@37890:  read -r;
neuper@37890:  test "$?" = 0 -o -n "$REPLY"
neuper@37890:  }; do
neuper@37890:  case "$REPLY" in 
neuper@37890:  \#* | "")
neuper@37890: 
neuper@37890:  ;;
neuper@37890:  /*)
neuper@37890:  init_component "$REPLY"
neuper@37890:  ;;
neuper@37890:  *)
neuper@37890:  init_component "$COMPONENT/$REPLY"
neuper@37890:  ;;
neuper@37890:  esac;
neuper@37890:  done
neuper@37890:  } < "$COMPONENT/etc/components";
neuper@37890:  fi
neuper@37890: }
neuper@37890: isabelle=() {  "$ISABELLE_TOOL" "$@"
neuper@37890: }