etc/components
Tue, 01 Sep 2009 16:39:05 +0200 haftmann code generator is now a separate component
Sat, 22 Aug 2009 23:22:17 +0200 wenzelm tuned;
Fri, 21 Aug 2009 09:49:10 +0200 boehmes moved Mirabelle to HOL/Tools
Mon, 17 Aug 2009 10:59:12 +0200 boehmes made Mirabelle a component
Thu, 06 Aug 2009 19:51:59 +0200 wenzelm misc changes to SOS by Philipp Meyer:
Tue, 04 Aug 2009 19:20:24 +0200 wenzelm src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
Tue, 04 Aug 2009 16:11:11 +0200 wenzelm turned object-logics into components;
less more (0) tip