lib/Tools/components
2016-07-14 wenzelm 2016-07-14 prefer curl: presumably more portable and versatile;
2013-09-06 wenzelm 2013-09-06 tuned;
2013-08-30 wenzelm 2013-08-30 check tar error, e.g. from corrupted download;
2012-12-31 wenzelm 2012-12-31 simplified quick start via "isabelle components -I";
2012-08-17 wenzelm 2012-08-17 minor robustification;
2012-08-17 wenzelm 2012-08-17 added "isabelle components" tool;