src/Pure/PIDE/prover.scala
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;