etc/settings
changeset 16966 37e34f315057
parent 16875 c62bdfbf6a2a
child 16968 5cb40c8b1f10
     1.1 --- a/etc/settings	Mon Aug 01 11:24:19 2005 +0200
     1.2 +++ b/etc/settings	Mon Aug 01 11:39:33 2005 +0200
     1.3 @@ -219,9 +219,13 @@
     1.4  HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
     1.5  
     1.6  # For configuring HOL/Matrix/cplex
     1.7 +# LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
     1.8  # First option: use the commercial cplex solver
     1.9 -#LP_SOLVER_NAME=CPLEX
    1.10 -#LP_SOLVER_PATH=cplex
    1.11 +# LP_SOLVER=CPLEX
    1.12 +# CPLEX_PATH=cplex
    1.13  # Second option: use the open source glpk solver
    1.14 -#LP_SOLVER_NAME=GLPK
    1.15 -#LP_SOLVER_PATH=glpsol
    1.16 +# LP_SOLVER=GLPK
    1.17 +# GLPK_PATH=glpsol
    1.18 +
    1.19 +# toogles the detail of the error message in case of a cyclic definition
    1.20 +DEFS_CHAIN_HISTORY=ON