src/Pure/Admin/component_spass.scala
23 months ago wenzelm renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
less more (0) tip