Tue, 19 Nov 2019 15:45:41 +0100 tuned signature -- more operations;
wenzelm [Tue, 19 Nov 2019 15:45:41 +0100] rev 71339
tuned signature -- more operations;
Mon, 18 Nov 2019 15:00:48 +0100 tuned
nipkow [Mon, 18 Nov 2019 15:00:48 +0100] rev 71338
tuned
Mon, 18 Nov 2019 10:34:21 +0100 tuned
nipkow [Mon, 18 Nov 2019 10:34:21 +0100] rev 71337
tuned
Sun, 17 Nov 2019 20:44:35 +0000 strengthened type class for bit operations
haftmann [Sun, 17 Nov 2019 20:44:35 +0000] rev 71336
strengthened type class for bit operations
Fri, 15 Nov 2019 21:09:03 +0100 tuned
nipkow [Fri, 15 Nov 2019 21:09:03 +0100] rev 71335
tuned
Fri, 15 Nov 2019 16:44:09 +0100 tuned
nipkow [Fri, 15 Nov 2019 16:44:09 +0100] rev 71334
tuned
Thu, 14 Nov 2019 22:59:20 +0100 more packages;
wenzelm [Thu, 14 Nov 2019 22:59:20 +0100] rev 71333
more packages;
Thu, 14 Nov 2019 22:37:12 +0100 NEWS;
wenzelm [Thu, 14 Nov 2019 22:37:12 +0100] rev 71332
NEWS;
Thu, 14 Nov 2019 22:32:43 +0100 more examples;
wenzelm [Thu, 14 Nov 2019 22:32:43 +0100] rev 71331
more examples;
Thu, 14 Nov 2019 22:20:50 +0100 more documentation;
wenzelm [Thu, 14 Nov 2019 22:20:50 +0100] rev 71330
more documentation;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip