2009-09-18 boehmes 2009-09-18 added new method "smt": an oracle-based connection to external SMT solvers
2009-09-02 boehmes 2009-09-02 moved Mirabelle from HOL/Tools to HOL, added session HOL-Mirabelle
2009-09-01 haftmann 2009-09-01 code generator is now a separate component
2009-08-22 wenzelm 2009-08-22 tuned;
2009-08-21 boehmes 2009-08-21 moved Mirabelle to HOL/Tools
2009-08-17 boehmes 2009-08-17 made Mirabelle a component
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";