marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/ocamlbricks/trunk] Rev 420: The kit of functions ArrayExtra.dichotomic_* has been generalized (abstracted from the total orde...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Tue, 15 Sep 2015 08:36:24 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 420
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: ocamlbricks
timestamp: Fri 2015-09-04 17:38:42 +0200
message:
  The kit of functions ArrayExtra.dichotomic_* has been generalized (abstracted from the total order), rationalized (names). Some minor bugs have also been fixed.
modified:
  CAMLP4/include_as_string_p4.mli
  EXTRA/arrayExtra.ml
  EXTRA/arrayExtra.mli


--
lp:ocamlbricks
https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk

Your team marionnet-dev is subscribed to branch lp:ocamlbricks.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/ocamlbricks/trunk/+edit-subscription