src/HOL/Library/Sum_Of_Squares/etc/settings
| author |
wenzelm |
|
Thu, 06 Aug 2009 19:51:59 +0200 |
| changeset 32332 |
bc5cec7b2be6 |
| child 41556 |
9e576ec5c0dc |
| permissions |
-rw-r--r-- |
misc changes to SOS by Philipp Meyer:
CSDP_EXE as central setting;
separate component src/HOL/Library/Sum_Of_Squares;
misc tuning and rearrangement of neos_csdp_client;
more robust treatment of shell paths;
debugging depends on local flag;
removed unused parts;