Closed GoogleCodeExporter closed 8 years ago
Updated as SVN commit 757
Original comment by nicolas....@gmail.com
on 27 Dec 2008 at 11:35
http://code.google.com/p/alloy4eclipse/source/detail?r=767
Original comment by nicolas....@gmail.com
on 5 Jul 2009 at 1:15
http://code.google.com/p/alloy4eclipse/source/detail?r=767
Original comment by nicolas....@gmail.com
on 5 Jul 2009 at 1:15
Nicolas, should we make a public release of A4E?
Original comment by daniel.l...@gmail.com
on 5 Jul 2009 at 7:00
I think we can; I would have liked to make additional tests.
I'll eventually get there but in the meantime, we could get feedback from
others if we have a release available.
Original comment by nicolas....@gmail.com
on 6 Jul 2009 at 4:20
0.3.0 uses 4.2.0 RC. Closing that issue.
Original comment by daniel.l...@gmail.com
on 18 May 2011 at 7:58
Original issue reported on code.google.com by
nicolas....@gmail.com
on 27 Dec 2008 at 11:28