Fri, 04 Aug 2017 09:48:09 +0200 propagate annotations categories from session protocol definition
ymh <ymh.work@gmail.com> [Fri, 04 Aug 2017 09:48:09 +0200] rev 138
propagate annotations categories from session protocol definition
(0) -100 -30 -10 -1 +1 +10 +30 tip