lib/Tools/components
Fri, 06 Sep 2013 12:46:50 +0200 wenzelm tuned;
Fri, 30 Aug 2013 10:07:20 +0200 wenzelm check tar error, e.g. from corrupted download;
Mon, 31 Dec 2012 15:56:17 +0100 wenzelm simplified quick start via "isabelle components -I";
Fri, 17 Aug 2012 15:05:57 +0200 wenzelm minor robustification;
Fri, 17 Aug 2012 14:56:37 +0200 wenzelm added "isabelle components" tool;
less more (0) tip