search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Allow Alloy 4 configuration #6

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
There is currently no way to configure alloy.

Alloy options should be editable the eclipse way through the
Window/Preferences menu.

It might be nice to also have some project specific settings.

Original issue reported on code.google.com by daniel.l...@gmail.com on 20 Mar 2007 at 8:33

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 11 Apr 2007 at 6:37

GoogleCodeExporter commented 8 years ago 
Basic configuration is available since release 0.1.3

Original comment by daniel.l...@gmail.com on 16 May 2007 at 11:50

GoogleCodeExporter commented 8 years ago 
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