diff -r f9a2e10c49cb -r 134131d519c0 etc/settings
--- a/etc/settings	Sun Mar 13 16:52:59 2011 +0100
+++ b/etc/settings	Sun Mar 13 17:28:14 2011 +0100
@@ -238,9 +238,6 @@
 # Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
 #JERUSAT_HOME=/usr/local/bin
 
-# CSDP (SDP Solver, cf. Isabelle/src/HOL/Library/Sum_of_Squares/sos_wrapper.ML)
-#CSDP_EXE=csdp
-
 # For configuring HOL/Matrix/cplex
 # LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
 # First option: use the commercial cplex solver