mira interface to 'isabelle make' in addition to usedir and makeall; do not require dependencies
mira interface to 'isabelle make' in addition to usedir and makeall;
do not require dependencies

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