src/Pure/Tools/build.scala
Tue, 03 Nov 2015 16:35:38 +0100 wenzelm more direct task future implementation, with proper cancel operation;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Fri, 09 Oct 2015 19:25:13 +0200 wenzelm output HTML text according to Isabelle/Scala Symbol.Interpretation;
Fri, 09 Oct 2015 17:15:53 +0200 wenzelm tuned output;
Fri, 09 Oct 2015 16:09:16 +0200 wenzelm more Present operations on Scala side;
Tue, 29 Sep 2015 13:54:04 +0200 wenzelm clarified modules;
Thu, 20 Aug 2015 21:08:47 +0200 wenzelm clarified modules, like ML version;
less more (0) -100 -30 -10 -7 tip