search

google-code-export / alloy4eclipse

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

Alloy evaluator not properly updated when rerunning a command #68

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
When rerunning a command, if the evaluator has been used in the previous
model, the user needs to quit it and relaunch it.

It should better be stopped directly or updated.

Original issue reported on code.google.com by daniel.l...@gmail.com on 1 Dec 2008 at 11:31

GoogleCodeExporter commented 9 years ago 
Fixed in release 0.2.32

Original comment by daniel.l...@gmail.com on 1 Dec 2008 at 9:10