*** System *** * The "isabelle mkroot" tool prepares session root directories for use with "isabelle build", similar to former "isabelle mkdir" for "isabelle usedir". This refers to Isabelle/eeb4480b5877. Makarius