------------------------------------------------------------ revno: 555 committer: Jean-Vincent Loddo <lo...@lipn.univ-paris13.fr> branch nick: WORKING timestamp: Tue 2020-07-07 10:03:35 +0000 message: Created directory CHANNEL/ to group all sources related to algebraic channels. Currently, all files contained in CHANNEL/ have been moved from the directory CORTEX. This last directory is not far from being obsolete and useless. removed: CORTEX/lock.ml CORTEX/lock.mli CORTEX/locked.ml CORTEX/locked.mli added: CHANNEL/ renamed: CORTEX/channel.ml => CHANNEL/channel.ml CORTEX/channel.mli => CHANNEL/channel.mli CORTEX/hublet.ml => CHANNEL/hublet.ml CORTEX/hublet.mli => CHANNEL/hublet.mli CORTEX/lazynel.ml => CHANNEL/lazynel.ml CORTEX/lazynel.mli => CHANNEL/lazynel.mli CORTEX/lock_club.ml => CHANNEL/lock_club.ml CORTEX/lock_club.mli => CHANNEL/lock_club.mli CORTEX/milner.ml => CHANNEL/milner.ml CORTEX/milner.mli => CHANNEL/milner.mli CORTEX/res.ml => CHANNEL/res.ml CORTEX/res.mli => CHANNEL/res.mli CORTEX/tS_lazy.ml => CHANNEL/tS_lazy.ml CORTEX/tS_lazy.mli => CHANNEL/tS_lazy.mli CORTEX/tS_memo.ml => CHANNEL/tS_memo.ml CORTEX/tS_memo.mli => CHANNEL/tS_memo.mli modified: ocamlbricks.mllib CHANNEL/channel.ml CHANNEL/lazynel.ml
-- 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
