nitg-s: added model exploration facilities in redef MModule
authorAlexandre Terrasa <alexandre@moz-code.org>
Wed, 6 Feb 2013 17:26:03 +0000 (12:26 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Mon, 4 Mar 2013 18:20:00 +0000 (13:20 -0500)
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>


No differences found