Julia Lawall (2015/10/14 23:48 +0200): > I have the impression that he managed to have menhirLib without installing > menhir when he used the github version. Is that possible?
Perhaps... > Is there a bundle for menhirLib? As far as I understand, the menhir bundle provides both the tool and MenhirLib. Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
