wenzelm [Tue, 08 Mar 2016 18:15:16 +0100] rev 62559
isabelle console is based on Isabelle/Scala;
wenzelm [Tue, 08 Mar 2016 17:55:11 +0100] rev 62558
clarified process interrupt: exactly one signal (like thread interrupt);
wenzelm [Tue, 08 Mar 2016 17:52:33 +0100] rev 62557
tuned signature;
wenzelm [Tue, 08 Mar 2016 14:44:11 +0100] rev 62556
more abstract Session.start, without prover command-line;
Isabelle_Process.apply is directly based on ML_Process;
clarified Isabelle_Process.main command-line;
tuned signature;
wenzelm [Tue, 08 Mar 2016 11:18:21 +0100] rev 62555
removed pointless option: this is meant for web services using Isabelle/Scala, not command-line tools;
wenzelm [Mon, 07 Mar 2016 22:40:43 +0100] rev 62554
prospective command line entry point for simplified isabelle_process;
wenzelm [Mon, 07 Mar 2016 22:37:31 +0100] rev 62553
tuned signature;
wenzelm [Mon, 07 Mar 2016 22:36:44 +0100] rev 62552
proper Path.print for user messages;
wenzelm [Mon, 07 Mar 2016 21:53:21 +0100] rev 62551
discontinued cd, pwd;
wenzelm [Mon, 07 Mar 2016 21:33:41 +0100] rev 62550
tuned -- more standard operations;