------------------------------------------------------------ revno: 436 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: ocamlbricks timestamp: Tue 2017-03-14 21:35:30 +0100 message: Added module Lock implementing a lock algebra. Finished but untested. added: CORTEX/ CORTEX/lock.ml CORTEX/lock.mli modified: Makefile.d/test_with.sh STRUCTURES/cortex.ml STRUCTURES/egg.ml STRUCTURES/egg.mli ocamlbricks.mllib ocamlbricks.odocl
-- 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
