History log of /seL4-l4v-master/isabelle/src/Pure/Admin/components.scala
Revision Date Author Comments
# 95264ecf 10-Apr-2019 wenzelm <none@none>

retain copy of required components;
# 2824ef0a 21-Jan-2019 wenzelm <none@none>

more thorough purge_platforms;
# b6b4c844 09-Dec-2018 wenzelm <none@none>

tuned message;
# eaaf532f 08-Dec-2018 wenzelm <none@none>

clarified settings and defaults;
# 3e851a77 08-Dec-2018 wenzelm <none@none>

proper path before tar -C context switch;
# 66ee7315 08-Dec-2018 wenzelm <none@none>

replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
more robust Component.Archive name: avoid rm_tree accidents;
# 214bb6a8 08-Dec-2018 wenzelm <none@none>

clarified modules;

--HG--
rename : src/Pure/System/components.scala => src/Pure/Admin/components.scala