Fri, 13 Sep 2013 22:16:26 +0200 tuned proofs;
wenzelm [Fri, 13 Sep 2013 22:16:26 +0200] rev 53627
tuned proofs;
Fri, 13 Sep 2013 21:14:08 +0200 updated to jdk-7u40;
wenzelm [Fri, 13 Sep 2013 21:14:08 +0200] rev 53626
updated to jdk-7u40;
Fri, 13 Sep 2013 14:53:00 +0200 added component jdk-7u40.tar.gz (inactive);
wenzelm [Fri, 13 Sep 2013 14:53:00 +0200] rev 53625
added component jdk-7u40.tar.gz (inactive);
Fri, 13 Sep 2013 21:55:33 +0200 merged
blanchet [Fri, 13 Sep 2013 21:55:33 +0200] rev 53624
merged
Fri, 13 Sep 2013 21:28:57 +0200 more (co)data docs
blanchet [Fri, 13 Sep 2013 21:28:57 +0200] rev 53623
more (co)data docs
Fri, 13 Sep 2013 19:38:09 +0200 tuning
blanchet [Fri, 13 Sep 2013 19:38:09 +0200] rev 53622
tuning
Fri, 13 Sep 2013 19:37:32 +0200 more (co)data doc
blanchet [Fri, 13 Sep 2013 19:37:32 +0200] rev 53621
more (co)data doc
Fri, 13 Sep 2013 11:16:13 -0700 generalized and simplified proofs of several theorems about convex sets
huffman [Fri, 13 Sep 2013 11:16:13 -0700] rev 53620
generalized and simplified proofs of several theorems about convex sets
Fri, 13 Sep 2013 16:50:35 +0200 more (co)data docs
blanchet [Fri, 13 Sep 2013 16:50:35 +0200] rev 53619
more (co)data docs
Fri, 13 Sep 2013 16:30:16 +0200 removed accidentally submitted line
blanchet [Fri, 13 Sep 2013 16:30:16 +0200] rev 53618
removed accidentally submitted line
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip