src/Pure/System/isabelle_process.scala
2010-08-23 wenzelm 2010-08-23 module for simplified thread operations (Scala version);
2010-08-22 wenzelm 2010-08-22 tuned signatures;
2010-08-16 wenzelm 2010-08-16 XML.Cache: pipe-lined (thread-safe) version using actor; tuned Isabelle_Process.pid handling;
2010-08-16 wenzelm 2010-08-16 simplified internal message format: dropped special Symbol.STX header;
2010-08-13 wenzelm 2010-08-13 added Isabelle_Process.input_bytes, which avoids the somewhat slow Standard_System.string_bytes (just in case someone wants to stream raw data at 250MB/s);
2010-08-11 wenzelm 2010-08-11 native Isabelle_Process commands, based on efficient byte channel protocol for string lists; misc clarification of proc/pid state, eliminated closing flag; misc tuning and simplification;
2010-08-10 wenzelm 2010-08-10 removed obsolete methods for (ML) commands;
2010-08-10 wenzelm 2010-08-10 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;
2010-08-09 wenzelm 2010-08-09 Isabelle_Process: separate input fifo for commands (still using the old tty protocol); some partial workarounds for Cygwin;
2010-08-08 wenzelm 2010-08-08 explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
2010-08-07 wenzelm 2010-08-07 simplified some Markup;
2010-08-07 wenzelm 2010-08-07 simplified type XML.Tree: embed Markup directly, avoid slightly odd triple; XML.cache_tree: actually store XML.Text as well; added Isabelle_Process.Result.properties;
2010-07-05 wenzelm 2010-07-05 specific ML_val vs. ML_command;
2010-07-04 wenzelm 2010-07-04 simplified Isabelle_Process.Result: use markup directly;
2010-05-27 wenzelm 2010-05-27 indicate prospective properties;
2010-05-25 wenzelm 2010-05-25 eliminated obsolete priority message from Isabelle_Process protocol;
2010-05-21 wenzelm 2010-05-21 simplified message markup, using plain XML.Elem directly;
2010-05-21 wenzelm 2010-05-21 more abstract view on prover output messages;
2010-05-07 wenzelm 2010-05-07 output symbolic pretty printing markup and format in the front end;
2009-12-31 wenzelm 2009-12-31 added is_ready;
2009-12-30 wenzelm 2009-12-30 simplified init message -- removed redundant session property;
2009-12-30 wenzelm 2009-12-30 removed obsolete version check -- sanity delegated to Isabelle_System; tuned;
2009-12-28 wenzelm 2009-12-28 separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
2009-12-18 wenzelm 2009-12-18 tuned signature;
2009-12-17 wenzelm 2009-12-17 Result.cache;
2009-12-17 wenzelm 2009-12-17 fifo: raw byte stream; Result: fully decoded symbols and tree structure; adapted to simplified message format; tuned;
2009-09-01 wenzelm 2009-09-01 Isabelle_Process: receiver as Actor, not EventBus; removed misleading Isabelle_Process.parse_message method -- use plain function instead;
2009-08-29 wenzelm 2009-08-29 moved Pure/Tools/isabelle_syntax.scala to Pure/System/isabelle_syntax.scala; renamed object IsabelleSyntax to Isabelle_Syntax;
2009-06-25 wenzelm 2009-06-25 renamed IsabelleProcess to Isabelle_Process; renamed IsabelleSystem to Isabelle_System;
2009-06-07 wenzelm 2009-06-07 static IsabelleSystem.charset; static IsabelleSystem.is_cygwin -- based on system property "os.name"; smart bootstrapping of Isabelle settings environment (via implicit or explicit ISABELLE_TOOL, or isabelle.tool property, or isabelle via PATH); source_file: removed obsolete special treatment of "ML"; misc tuning and reorganization;
2009-02-28 wenzelm 2009-02-28 moved isabelle_process.ML, isabelle_process.scala, isar.ML, session.ML to Pure/System/ (together with associated Isar commands);