* Isar session: The initial use of ROOT.ML is now always timed;
* Isar session: The initial use of ROOT.ML is now always timed;

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