Admin/isatest/settings/at-poly
changeset 41942 8d4881d895f8
parent 41716 4b08499b3db1
child 41952 c7297638599b
equal deleted inserted replaced
41941:f823f7fae9a2 41942:8d4881d895f8
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    24 
    24 
    25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
    25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
    26 
    26 
       
    27 EXEC_GHC="/home/isabelle/contrib_devel/ghc/x86-linux/ghc"
       
    28 EXEC_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
       
    29 EXEC_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
       
    30 
    27 init_component "$HOME/contrib_devel/kodkodi"
    31 init_component "$HOME/contrib_devel/kodkodi"
       
    32