1.1 --- a/etc/settings	Wed Aug 05 17:10:10 2009 +0200
     1.2 +++ b/etc/settings	Thu Aug 06 19:51:59 2009 +0200
     1.3 @@ -222,7 +222,6 @@
     1.4  #JEDIT_JAVA_OPTIONS="-server -Xms128m -Xmx512m"
     1.5  JEDIT_OPTIONS="-reuseview -noserver -nobackground"
     1.6  
     1.7 -
     1.8  ###
     1.9  ### External reasoning tools
    1.10  ###
    1.11 @@ -274,6 +273,9 @@
    1.12  # Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.13  #JERUSAT_HOME=/usr/local/bin
    1.14  
    1.15 +# CSDP (SDP Solver, cf. Isabelle/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML)
    1.16 +#CSDP_EXE=csdp
    1.17 +
    1.18  # For configuring HOL/Matrix/cplex
    1.19  # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
    1.20  # First option: use the commercial cplex solver