src/HOL/MicroJava/ROOT.ML

distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names;
asynchronous Isabelle_Process.init -- raw ML toplevel stays active;
simplified Isabelle_Process using actors;
misc tuning;

no_document use_thys ["While_Combinator"];

use_thys ["MicroJava"];