2010-12-06 bulwahn 2010-12-06 adding mutabelle as a component and an isabelle tool to be used in regression testing
2010-11-28 krauss 2010-11-28 removed HOLCF for now as explicit component
2010-09-16 bulwahn 2010-09-16 registering code_prolog as component; using environment variable; adding settings file for prolog code generation
2010-07-28 blanchet 2010-07-28 updated component name
2010-05-12 boehmes 2010-05-12 integrated SMT into the HOL image
2010-03-24 boehmes 2010-03-24 removed Cache_IO component
2010-02-16 boehmes 2010-02-16 added Cache_IO: cache for output of external tools, changed SMT solver interface to use Cache_IO
2009-11-20 kleing 2009-11-20 WWW_Find component: find_theorems via web browser
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";