src/Pure/Admin/component_eptcs.scala
Tue, 07 Mar 2023 22:54:44 +0100 wenzelm renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
less more (0) tip