Closed GoogleCodeExporter closed 8 years ago
I do not know that command.
I guess it is safer that you add it yourself to A4E :)
Original comment by daniel.l...@gmail.com
on 5 Nov 2007 at 8:33
I didn't the command either, I created one in version 497 of
fr.univartois.cril.alloyplugin based on the code in
edu.mit.csail.sdg.alloy4whole.SimpleReporter from A4 RC11+
Original comment by nicolas....@gmail.com
on 6 Nov 2007 at 1:12
Original issue reported on code.google.com by
nicolas....@gmail.com
on 5 Nov 2007 at 6:50