etc/components; isabelle makeall operates on all components with IsaMakefile;
etc/components;
isabelle makeall operates on all components with IsaMakefile;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle