etc/settings
changeset 17001 51ff2bc32774
parent 16968 5cb40c8b1f10
child 17005 69c415d44883
     1.1 --- a/etc/settings	Tue Aug 02 16:52:21 2005 +0200
     1.2 +++ b/etc/settings	Tue Aug 02 19:47:11 2005 +0200
     1.3 @@ -169,6 +169,9 @@
     1.4  
     1.5  ## Set HOME only for tools you have installed!
     1.6  
     1.7 +# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
     1.8 +HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
     1.9 +
    1.10  # SVC (Stanford Validity Checker)
    1.11  #SVC_HOME=
    1.12  #SVC_MACHINE=i386-redhat-linux
    1.13 @@ -193,9 +196,6 @@
    1.14  # Jerusat 1.3 (SAT Solver)
    1.15  #JERUSAT_HOME=/usr/local/bin
    1.16  
    1.17 -# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
    1.18 -HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
    1.19 -
    1.20  # For configuring HOL/Matrix/cplex
    1.21  # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
    1.22  # First option: use the commercial cplex solver