Admin/components/README
Wed, 14 Sep 2022 17:35:38 +0200 wenzelm obsolete;
Sun, 22 Dec 2019 16:12:13 +0100 wenzelm improved Markdown-like display in Phabricator;
Sat, 08 Dec 2018 22:31:34 +0100 wenzelm replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
Wed, 18 Jul 2018 16:44:01 +0200 wenzelm prefer HTTPS;
Fri, 14 Dec 2012 16:24:12 +0100 wenzelm clarified README;
Fri, 14 Dec 2012 16:21:47 +0100 wenzelm more formal components_checksum tool;
Fri, 14 Dec 2012 16:02:31 +0100 wenzelm just one Admin/components/ directory;
less more (0) tip