diff -r a51699621d22 -r 9ed940a1bebb etc/settings
--- a/etc/settings	Tue Jul 19 14:59:11 2005 +0200
+++ b/etc/settings	Tue Jul 19 16:16:53 2005 +0200
@@ -225,3 +225,15 @@
 
 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
 HOL4_PROOFS="$PROOF_DIRS:$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
+
+# For configuring HOL/Matrix/cplex
+# First option: use the commercial cplex solver
+# LP_SOLVER_NAME=CPLEX
+# LP_SOLVER_PATH=cplex
+# Second option: use the open source glpk solver
+# LP_SOLVER_NAME=GLPK
+# LP_SOLVER_PATH=glpsol
+
+# toogles the detail of the error message in case of a cyclic definition
+DEFS_CHAIN_HISTORY=ON
+#DEFS_CHAIN_HISTORY=OFF
\ No newline at end of file