lib/Tools/tty
Fri, 17 May 2013 21:06:01 +0200 wenzelm added isabelle tty option -o;
Sat, 28 Jul 2012 12:59:53 +0200 wenzelm misc tuning;
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Tue, 21 Oct 2008 20:18:07 +0200 wenzelm tuned usage line;
Sat, 04 Oct 2008 16:19:00 +0200 wenzelm replaced ISABELLE by ISABELLE_PROCESS;
Sat, 15 Dec 2007 00:52:17 +0100 wenzelm option -m: avoid additional quoting;
Fri, 14 Dec 2007 21:22:02 +0100 wenzelm tuned diagnostics;
Fri, 14 Dec 2007 21:16:27 +0100 wenzelm run Isabelle process with plain tty interaction;
less more (0) tip