lib/Tools/tty
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-10-04 wenzelm 2008-10-04 replaced ISABELLE by ISABELLE_PROCESS;
2007-12-15 wenzelm 2007-12-15 option -m: avoid additional quoting;
2007-12-14 wenzelm 2007-12-14 tuned diagnostics;
2007-12-14 wenzelm 2007-12-14 run Isabelle process with plain tty interaction;