Fri, 08 Jan 2016 15:49:01 +0100 merged
wenzelm [Fri, 08 Jan 2016 15:49:01 +0100] rev 62097
merged
Thu, 07 Jan 2016 16:50:52 +0100 more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
wenzelm [Thu, 07 Jan 2016 16:50:52 +0100] rev 62096
more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
Thu, 07 Jan 2016 16:29:41 +0100 tuned signature;
wenzelm [Thu, 07 Jan 2016 16:29:41 +0100] rev 62095
tuned signature;
Thu, 07 Jan 2016 16:10:13 +0100 prefer non-ASCII output;
wenzelm [Thu, 07 Jan 2016 16:10:13 +0100] rev 62094
prefer non-ASCII output;
Thu, 07 Jan 2016 15:53:39 +0100 more uniform treatment of package internals;
wenzelm [Thu, 07 Jan 2016 15:53:39 +0100] rev 62093
more uniform treatment of package internals;
Thu, 07 Jan 2016 15:50:09 +0100 more thorough GUI update;
wenzelm [Thu, 07 Jan 2016 15:50:09 +0100] rev 62092
more thorough GUI update;
Thu, 07 Jan 2016 13:42:43 +0100 tuned;
wenzelm [Thu, 07 Jan 2016 13:42:43 +0100] rev 62091
tuned;
Fri, 08 Jan 2016 16:36:41 +0100 added lemma
nipkow [Fri, 08 Jan 2016 16:36:41 +0100] rev 62090
added lemma
Fri, 08 Jan 2016 15:27:16 +0100 Tuned constant approximations
eberlm [Fri, 08 Jan 2016 15:27:16 +0100] rev 62089
Tuned constant approximations
Thu, 07 Jan 2016 17:42:01 +0000 merged
paulson [Thu, 07 Jan 2016 17:42:01 +0000] rev 62088
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip