Closed GoogleCodeExporter closed 9 years ago
Original comment by daniel.l...@gmail.com
on 11 Apr 2007 at 6:37
Basic configuration is available since release 0.1.3
Original comment by daniel.l...@gmail.com
on 16 May 2007 at 11:50
The Alloy 4 Eclipse preference page is now more or less complete: it is
possible to
use an external GraphViz package and to set a path to the SAT solver binaries,
and to
select the image format to use when export the dot file.
Original comment by daniel.l...@gmail.com
on 18 Oct 2007 at 2:29
Original issue reported on code.google.com by
daniel.l...@gmail.com
on 20 Mar 2007 at 8:33