2009-08-06 wenzelm 2009-08-06 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;
2009-08-04 wenzelm 2009-08-04 src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
2009-08-04 wenzelm 2009-08-04 turned object-logics into components; isabelle makeall: operate on all components with IsaMakefile, not just hardwired "logics";