Admin/components/README
7 months ago wenzelm 2018-12-08 replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; more robust Component.Archive name: avoid rm_tree accidents;
12 months ago wenzelm 2018-07-18 prefer HTTPS;
2012-12-14 wenzelm 2012-12-14 clarified README;
2012-12-14 wenzelm 2012-12-14 more formal components_checksum tool;
2012-12-14 wenzelm 2012-12-14 just one Admin/components/ directory;