2015-03-25 wenzelm 2015-03-25 HOL-SPARK .prv files are subject to system option spark_prv; tuned;
2015-02-05 haftmann 2015-02-05 dropped obsolete external entrance point
2014-06-29 blanchet 2014-06-29 removed non-existing MaSh component from list
2014-05-18 wenzelm 2014-05-18 tuned comments;
2014-04-26 kleing 2014-04-26 retired wwwfind
2014-01-01 wenzelm 2014-01-01 simplified settings for src/HOL/Tools/SMT;
2013-07-12 wenzelm 2013-07-12 system options for Isabelle/HOL proof tools;
2013-07-12 wenzelm 2013-07-12 removed unused Predicate_Compile component setup;
2012-11-26 blanchet 2012-11-26 moved MaSh's Python code into Isabelle
2012-09-24 wenzelm 2012-09-24 minimal component and build setup for graphview;
2012-08-19 wenzelm 2012-08-19 fewer components, more roots;
2012-08-17 wenzelm 2012-08-17 tuned;
2012-08-14 wenzelm 2012-08-14 always retain doc-src (as regular component);
2012-01-23 blanchet 2012-01-23 moved "nitrox" to TPTP
2011-06-08 wenzelm 2011-06-08 build jedit as part of regular startup script (in that case depending on jedit_build component); misc tuning and simplification;
2011-03-24 blanchet 2011-03-24 added "nitrox" tool (Nitpick for first-order TPTP problems) to components
2011-01-08 wenzelm 2011-01-08 renamed Sum_Of_Squares to Sum_of_Squares;
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";