Admin/lib/Tools/component_setup
Tue, 07 Mar 2023 22:54:44 +0100 wenzelm renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
less more (0) tip