Feature Requests

Search

Topic	Replies	Created	Last reply
Alloy4 as 64-bit Java 1.6 application on macosx	1	20 weeks 2 days ago by nicolas.rouquette	20 weeks 22 hours ago by leberre
Instance labels [PENDING]	3	37 weeks 4 days ago by bernardofbbraga	22 weeks 5 days ago by rseater
module system + visualization [PENDING]	2	23 weeks 5 days ago by rseater	23 weeks 3 days ago by Felix Chang
Tabs for multiple model files [PENDING]	1	23 weeks 4 days ago by rseater	23 weeks 3 days ago by Felix Chang

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte