2016-03-08 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;
src/Pure/PIDE/batch_session.scala src/Pure/PIDE/prover.scala src/Pure/PIDE/resources.scala src/Pure/PIDE/session.scala src/Pure/System/isabelle_process.scala src/Pure/System/ml_process.scala src/Tools/jEdit/src/isabelle_logic.scala

2016-03-08 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;
src/Pure/System/isabelle_process.scala

2016-03-07 wenzelm [Mon, 07 Mar 2016 22:40:43 +0100] rev 62554
prospective command line entry point for simplified isabelle_process;
src/Pure/System/isabelle_process.scala

2016-03-07 wenzelm [Mon, 07 Mar 2016 22:37:31 +0100] rev 62553
tuned signature;
src/Pure/General/output.scala src/Pure/System/process_result.scala

2016-03-07 wenzelm [Mon, 07 Mar 2016 22:36:44 +0100] rev 62552
proper Path.print for user messages;
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML src/HOL/TPTP/TPTP_Parser/tptp_reconstruct.ML

2016-03-07 wenzelm [Mon, 07 Mar 2016 21:53:21 +0100] rev 62551
discontinued cd, pwd;
NEWS src/Doc/System/Misc.thy src/Pure/General/file.ML src/Pure/ROOT.ML src/Pure/library.ML

2016-03-07 wenzelm [Mon, 07 Mar 2016 21:33:41 +0100] rev 62550
tuned -- more standard operations;
src/Pure/Thy/present.ML src/Tools/Code/code_target.ML

2016-03-07 wenzelm [Mon, 07 Mar 2016 21:09:28 +0100] rev 62549
File.bash_string operations in ML as in Scala -- exclusively for GNU bash, not perl and not user output;
clarified treatment of whitespace in some bash scripts;
NEWS src/HOL/Library/Old_SMT/old_smt_solver.ML src/HOL/Library/Sum_of_Squares/sos_wrapper.ML src/HOL/Library/code_test.ML src/HOL/TPTP/atp_theory_export.ML src/HOL/Tools/Nitpick/kodkod.ML src/HOL/Tools/Predicate_Compile/code_prolog.ML src/HOL/Tools/Quickcheck/narrowing_generators.ML src/HOL/Tools/SMT/smt_solver.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML src/HOL/Tools/sat_solver.ML src/Pure/Concurrent/bash.ML src/Pure/Concurrent/bash_windows.ML src/Pure/General/file.ML src/Pure/System/isabelle_system.ML src/Pure/Thy/present.ML src/Tools/Code/code_target.ML src/Tools/cache_io.ML

2016-03-07 wenzelm [Mon, 07 Mar 2016 20:44:47 +0100] rev 62548
clarified treatment of DEL;
tuned signature;
src/Pure/General/file.scala src/Pure/System/isabelle_process.scala src/Pure/System/ml_process.scala

2016-03-07 wenzelm [Mon, 07 Mar 2016 18:47:55 +0100] rev 62547
clarified RAW_ML_SYSTEM;
src/Pure/System/ml_process.scala