src/Pure/PIDE/prover.scala
2016-03-08 wenzelm 2016-03-08 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;
2016-02-14 wenzelm 2016-02-14 more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude;
2016-02-14 wenzelm 2016-02-14 tuned;
2015-11-03 wenzelm 2015-11-03 more direct task future implementation, with proper cancel operation; more uniform Future.thread;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2015-03-17 wenzelm 2015-03-17 misc tuning and simplification;
2015-03-16 wenzelm 2015-03-16 clarified modules;
2015-03-15 wenzelm 2015-03-15 hybrid use of command blobs: inlined errors and auxiliary files; static check of theory imports;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-08-13 wenzelm 2014-08-13 tuned comments;
2014-08-12 wenzelm 2014-08-12 tuned signature;
2014-08-12 wenzelm 2014-08-12 generic process wrapping in Prover; clarified module arrangement;
2014-08-12 wenzelm 2014-08-12 more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
2014-08-12 wenzelm 2014-08-12 tuned signature;
2014-08-12 wenzelm 2014-08-12 separate module Command_Span: mostly syntactic representation; potentially prover-specific Output_Syntax.parse_spans;
2014-08-11 wenzelm 2014-08-11 more explicit type Span in Scala, according to ML version;
2014-04-03 wenzelm 2014-04-03 clarified Version.syntax -- avoid guessing initial situation;
2014-04-03 wenzelm 2014-04-03 more abstract Prover.Syntax, as proposed by Carst Tankink;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-04-03 wenzelm 2014-04-03 tuned signature -- pro forma;
2014-04-03 wenzelm 2014-04-03 more general prover operations;