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;
Thu, 20 Oct 2016 23:05:13 +0200 wenzelm prevent sporadic disconnection;
Thu, 20 Oct 2016 16:29:02 +0200 wenzelm check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala;
Thu, 20 Oct 2016 19:39:27 +0200 nipkow tuned
Tue, 18 Oct 2016 16:04:44 +0200 nipkow NEWS
Thu, 20 Oct 2016 18:42:01 +0200 hoelzl HOL-Probability: generalize theorems about cumulative distribution function
Thu, 20 Oct 2016 18:41:59 +0200 hoelzl HOL-Probability: move stopping time from AFP/Markov_Models
Thu, 20 Oct 2016 18:41:58 +0200 hoelzl HOL-Probability: generalize type of essential supremum
Thu, 20 Oct 2016 17:28:09 +0200 eberlm Repaired LaTeX in HOL-Data_Structures
Thu, 20 Oct 2016 13:53:36 +0200 eberlm More on Fibonacci numbers
Thu, 20 Oct 2016 11:05:16 +0200 wenzelm build HTML library in Isabelle/Scala;
Thu, 20 Oct 2016 11:04:38 +0200 wenzelm proper echo;
Thu, 20 Oct 2016 10:30:11 +0200 wenzelm more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
Wed, 19 Oct 2016 18:14:42 +0200 wenzelm updated to jdk-8u112;
Wed, 19 Oct 2016 17:39:04 +0200 wenzelm basic SSH server configuration;
Wed, 19 Oct 2016 17:03:44 +0200 wenzelm proper isabelle tool in Scala;
Wed, 19 Oct 2016 16:30:24 +0200 wenzelm tuned;
Wed, 19 Oct 2016 14:43:11 +0200 wenzelm merged
Wed, 19 Oct 2016 14:42:28 +0200 wenzelm added system option "profiling";
Tue, 18 Oct 2016 17:41:56 +0200 wenzelm replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms;
Tue, 18 Oct 2016 16:11:13 +0200 wenzelm tuned signature, in accordance to Isabelle_System;
Tue, 18 Oct 2016 16:08:55 +0200 wenzelm tuned;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
Tue, 18 Oct 2016 15:31:08 +0200 wenzelm another attempt to squeeze a list into a property list entry;
Tue, 18 Oct 2016 15:18:58 +0200 wenzelm report actual build_args;
Tue, 18 Oct 2016 15:09:52 +0200 wenzelm more flexible multicore configuration;
Tue, 18 Oct 2016 14:32:51 +0200 wenzelm clarified multiple props: result needs to fit on a single line within the log file;
Tue, 18 Oct 2016 13:56:49 +0200 wenzelm clarified properties;
Tue, 18 Oct 2016 13:44:54 +0200 wenzelm tuned;
Tue, 18 Oct 2016 11:50:38 +0200 wenzelm support for free-form build tags;
Tue, 18 Oct 2016 11:24:14 +0200 wenzelm explicit identification of builds and correlated build groups;
Tue, 18 Oct 2016 10:11:22 +0200 wenzelm avoid spamming log file;
Tue, 18 Oct 2016 10:05:38 +0200 wenzelm shared_home is default for classic isatest home setup;
Tue, 18 Oct 2016 23:47:33 +0200 hoelzl add missing file Essential_Supremum.thy
Tue, 18 Oct 2016 19:28:39 +0100 paulson Merge
Tue, 18 Oct 2016 19:12:40 +0100 paulson Inserted necessary dependency
Tue, 18 Oct 2016 18:48:53 +0200 haftmann suitable logical type class for abs, sgn
Tue, 18 Oct 2016 17:29:28 +0200 hoelzl HOL-Analysis: move Function Topology from AFP/Ergodict_Theory; HOL-Probability: move Essential Supremum from AFP/Lp
Tue, 18 Oct 2016 16:05:24 +0100 paulson Merge
Tue, 18 Oct 2016 15:55:53 +0100 paulson more from moretop.ml
Tue, 18 Oct 2016 16:48:41 +0200 Lars Hupel Jenkins: build in system mode again
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip