etc/settings
changeset 16873 9ed940a1bebb
parent 16775 c1b87ef4a1c3
child 16875 c62bdfbf6a2a
     1.1 --- a/etc/settings	Tue Jul 19 14:59:11 2005 +0200
     1.2 +++ b/etc/settings	Tue Jul 19 16:16:53 2005 +0200
     1.3 @@ -225,3 +225,15 @@
     1.4  
     1.5  # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
     1.6  HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
     1.7 +
     1.8 +# For configuring HOL/Matrix/cplex
     1.9 +# First option: use the commercial cplex solver
    1.10 +# LP_SOLVER_NAME=CPLEX
    1.11 +# LP_SOLVER_PATH=cplex
    1.12 +# Second option: use the open source glpk solver
    1.13 +# LP_SOLVER_NAME=GLPK
    1.14 +# LP_SOLVER_PATH=glpsol
    1.15 +
    1.16 +# toogles the detail of the error message in case of a cyclic definition
    1.17 +DEFS_CHAIN_HISTORY=ON
    1.18 +#DEFS_CHAIN_HISTORY=OFF
    1.19 \ No newline at end of file