src/Pure/PIDE/session.scala
Fri, 04 Apr 2014 22:21:46 +0200 wenzelm more permissive Session.update_options: this is wired to jEdit PropertiesChanged, which may occur before the prover is started;
Thu, 03 Apr 2014 21:08:00 +0200 wenzelm clarified Version.syntax -- avoid guessing initial situation;
Thu, 03 Apr 2014 20:53:35 +0200 wenzelm more abstract Prover.Syntax, as proposed by Carst Tankink;
Thu, 03 Apr 2014 14:54:17 +0200 wenzelm more general prover operations;
Thu, 03 Apr 2014 13:46:18 +0200 wenzelm more general prover operations;
Mon, 31 Mar 2014 15:05:24 +0200 wenzelm store blob content within document node: aux. files that were once open are made persistent;
Sat, 29 Mar 2014 10:49:32 +0100 wenzelm propagate deps_changed, to resolve missing files without requiring jEdit events (e.g. buffer load/save);
Sat, 29 Mar 2014 10:17:09 +0100 wenzelm tuned signature;
Tue, 18 Mar 2014 18:09:31 +0100 wenzelm clarified module arrangement;
less more (0) tip