------------------------------------------------------------ revno: 442 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: ocamlbricks timestamp: Tue 2017-05-09 16:26:45 +0200 message: Locks with generalized (compositional) products modified: CORTEX/lock.ml CORTEX/locked.ml CORTEX/locked.mli CORTEX/spinning.mli STRUCTURES/thunk.ml STRUCTURES/thunk.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 _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
