src/Pure/build-jars
Sat, 07 Sep 2013 11:36:03 +0200 wenzelm more portable access to icon -- avoid Isabelle_System which is not yet initialized in bootstrap;
Thu, 29 Aug 2013 15:29:24 +0200 wenzelm clarified module location;
Sat, 17 Aug 2013 22:15:45 +0200 wenzelm some protocol to determine provers according to ML;
Mon, 12 Aug 2013 17:17:49 +0200 wenzelm moved generic module to its proper place;
Mon, 12 Aug 2013 13:30:54 +0200 wenzelm support for maps with multiple entries per key;
Mon, 12 Aug 2013 11:39:29 +0200 wenzelm tuned signature -- more abstract PIDE editor operations;
Tue, 16 Jul 2013 12:31:08 +0200 wenzelm separate module XZ_File to avoid initial dependency on org.tukaani.xz;
Mon, 15 Jul 2013 22:11:36 +0200 wenzelm Scala version of init.bat;
Sun, 07 Jul 2013 22:58:34 +0200 wenzelm some support for Cygwin;
Fri, 05 Jul 2013 15:38:03 +0200 wenzelm explicit module Document_ID as source of globally unique identifiers across ML/Scala;
Tue, 25 Jun 2013 12:17:19 +0200 wenzelm slightly improved "isabelle doc" based on Isabelle/Scala;
Mon, 24 Jun 2013 23:33:14 +0200 wenzelm improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
Sun, 23 Jun 2013 20:12:01 +0200 wenzelm Scala version of "isabelle doc";
Thu, 04 Apr 2013 17:47:28 +0200 wenzelm separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
Thu, 04 Apr 2013 17:33:04 +0200 wenzelm separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications;
Mon, 25 Mar 2013 10:45:47 +0100 wenzelm actually exit on scalac failure;
Sun, 24 Mar 2013 16:12:45 +0100 wenzelm basic support for xz files;
Sat, 23 Feb 2013 11:27:45 +0100 wenzelm support for POSIX interrupts (bypassed on Windows);
Wed, 13 Feb 2013 13:31:38 +0100 wenzelm file system operations for Graphics2D output;
Fri, 18 Jan 2013 22:38:34 +0100 wenzelm tuned signature;
Fri, 18 Jan 2013 22:31:57 +0100 wenzelm charts for future task runtime statistics;
Thu, 03 Jan 2013 20:42:18 +0100 wenzelm maintain session index on Scala side, for more determistic results;
Wed, 02 Jan 2013 21:02:47 +0100 wenzelm some support for chart drawing;
Wed, 02 Jan 2013 18:03:38 +0100 wenzelm moved files;
Wed, 02 Jan 2013 17:58:53 +0100 wenzelm moved files;
Wed, 02 Jan 2013 16:48:22 +0100 wenzelm ML runtime statistics: read properties from build log;
Mon, 31 Dec 2012 14:58:21 +0100 wenzelm tuned signature -- eliminated obsolete Standard_System;
Mon, 31 Dec 2012 13:34:47 +0100 wenzelm recovered generic PIDE build;
Wed, 05 Dec 2012 14:19:44 +0100 wenzelm basic wrapper for session build dialog;
Sun, 25 Nov 2012 20:17:04 +0100 wenzelm explicit module UTF8;
less more (0) -100 -50 -30 tip