Mon, 24 Oct 2016 20:13:01 +0200 wenzelm unused;
Mon, 24 Oct 2016 20:58:07 +0200 blanchet tuned documentation
Mon, 24 Oct 2016 20:32:02 +0200 blanchet document limitations
Mon, 24 Oct 2016 20:32:02 +0200 blanchet more accurate error message
Mon, 24 Oct 2016 20:32:02 +0200 blanchet robustness
Mon, 24 Oct 2016 18:25:30 +0200 Andreas Lochbihler document transfer_prover_eq and friend_of_corec_simps
Mon, 24 Oct 2016 16:53:32 +0200 traytel additional user-specified simp (naturality) rules used in friend_of_corec
Mon, 24 Oct 2016 16:53:32 +0200 traytel apply transfer_prover after folding relator_eq
Mon, 24 Oct 2016 16:16:55 +0200 wenzelm merged
Mon, 24 Oct 2016 15:16:31 +0200 wenzelm more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
Mon, 24 Oct 2016 15:00:13 +0200 wenzelm remove old target: it is on the classpath and may break scalac;
Mon, 24 Oct 2016 14:47:46 +0200 wenzelm updated to cygwin-20161024: cygwin.exe from current http://isabelle.in.tum.de/cygwin_2016-1
Mon, 24 Oct 2016 14:37:37 +0200 wenzelm retain Admin component for isabelle tool invocation;
Mon, 24 Oct 2016 14:10:53 +0200 wenzelm tuned;
Mon, 24 Oct 2016 14:05:22 +0200 wenzelm more robust;
Mon, 24 Oct 2016 12:16:12 +0200 wenzelm discontinued unused / untested distinction of separate PIDE modules;
Mon, 24 Oct 2016 12:01:36 +0200 wenzelm proper Admin tool;
Mon, 24 Oct 2016 11:48:32 +0200 wenzelm tuned message;
Mon, 24 Oct 2016 11:42:39 +0200 wenzelm updated for release;
Mon, 24 Oct 2016 11:10:17 +0200 wenzelm updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;
Mon, 24 Oct 2016 14:32:07 +0100 paulson Merge
Mon, 24 Oct 2016 14:31:05 +0100 paulson "subgoal" examples
Mon, 24 Oct 2016 13:50:12 +0200 eberlm Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory
Sun, 23 Oct 2016 16:44:17 +0200 wenzelm more readable output: whitespace is insignificant in HTML;
Sun, 23 Oct 2016 16:37:59 +0200 wenzelm misc tuning and clarification;
Sun, 23 Oct 2016 15:25:48 +0200 wenzelm modernized;
Sun, 23 Oct 2016 15:24:10 +0200 wenzelm more operations;
Sun, 23 Oct 2016 13:16:23 +0200 wenzelm more operations (see also properties.ML);
Sun, 23 Oct 2016 12:35:48 +0200 wenzelm tuned signature: avoid conflict with "paragraph" as section heading;
Sun, 23 Oct 2016 12:34:39 +0200 wenzelm tuned;
Sun, 23 Oct 2016 12:30:57 +0200 wenzelm support for XML as HTML;
Sun, 23 Oct 2016 12:27:11 +0200 wenzelm tuned;
Sun, 23 Oct 2016 12:21:17 +0200 wenzelm more explicit rev (tip);
Sun, 23 Oct 2016 11:38:43 +0200 wenzelm just one output file;
Sat, 22 Oct 2016 21:21:14 +0200 wenzelm more tasks;
Sat, 22 Oct 2016 21:10:02 +0200 wenzelm remote_builds has PAR-SEQ semantics of old isatest-makedist;
Sat, 22 Oct 2016 20:09:30 +0200 wenzelm expose results on failure (via mail);
Sat, 22 Oct 2016 19:57:56 +0200 wenzelm clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
Sat, 22 Oct 2016 19:14:38 +0200 wenzelm support for URL notation;
Sat, 22 Oct 2016 17:27:27 +0200 wenzelm process results immediately;
Sat, 22 Oct 2016 16:39:27 +0200 wenzelm permissive rename operation (amending b265dd04d57d);
Sat, 22 Oct 2016 13:41:18 +0200 wenzelm pro-forma update to cygwin_2016-1 (web service still missing);
Sat, 22 Oct 2016 13:11:37 +0200 wenzelm updated to current Cygwin, after 2.6.0-1 from 31-Aug-2016;
Sat, 22 Oct 2016 12:34:58 +0200 wenzelm regular user tool;
Sat, 22 Oct 2016 12:34:17 +0200 wenzelm avoid deprecated Scala;
Fri, 21 Oct 2016 21:03:17 +0200 wenzelm minor updates after fresh installation of virtual Windows 2012: retain old versions of mingw for this brittle build process;
Fri, 21 Oct 2016 20:58:51 +0200 wenzelm misc tuning and updates;
Fri, 21 Oct 2016 20:49:40 +0200 wenzelm clarified default args;
Fri, 21 Oct 2016 18:18:26 +0200 wenzelm speculative support for latest Mac OS X versions -- no reference systems yet;
Fri, 21 Oct 2016 17:24:57 +0200 wenzelm merged
Fri, 21 Oct 2016 17:24:43 +0200 wenzelm more ambitious default;
Fri, 21 Oct 2016 16:46:02 +0200 wenzelm updated to new structure Foreign;
Fri, 21 Oct 2016 11:02:36 +0200 hoelzl HOL-Probability: Essential Supremum as Limsup over ae_filter
Fri, 21 Oct 2016 11:45:35 +0200 wenzelm less ambitious test;
Fri, 21 Oct 2016 11:19:15 +0200 wenzelm proper type for Poly/ML development version;
Fri, 21 Oct 2016 11:00:16 +0200 wenzelm more operations;
Thu, 20 Oct 2016 20:03:32 +0200 haftmann more on sgn in linear ordered fields
Thu, 20 Oct 2016 23:42:41 +0200 wenzelm merged
Thu, 20 Oct 2016 23:42:12 +0200 wenzelm test for Windows/Cygwin;
Thu, 20 Oct 2016 23:39:15 +0200 wenzelm extra trim_line for the sake of Windows;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip