wenzelm [Fri, 13 Sep 2013 14:53:00 +0200] rev 54762
added component jdk-7u40.tar.gz (inactive);
blanchet [Fri, 13 Sep 2013 21:55:33 +0200] rev 54761
merged
blanchet [Fri, 13 Sep 2013 21:28:57 +0200] rev 54760
more (co)data docs
blanchet [Fri, 13 Sep 2013 19:38:09 +0200] rev 54759
tuning
blanchet [Fri, 13 Sep 2013 19:37:32 +0200] rev 54758
more (co)data doc
huffman [Fri, 13 Sep 2013 11:16:13 -0700] rev 54757
generalized and simplified proofs of several theorems about convex sets
blanchet [Fri, 13 Sep 2013 16:50:35 +0200] rev 54756
more (co)data docs
blanchet [Fri, 13 Sep 2013 16:30:16 +0200] rev 54755
removed accidentally submitted line
blanchet [Fri, 13 Sep 2013 16:29:39 +0200] rev 54754
more (co)data doc
Christian Sternagel [Tue, 20 Aug 2013 17:34:11 +0900] rev 54753
more general typing of monadic bind