About the API Issues category

[peter.kriens]

This category is intended to discuss the new Alloy Java API. Any issue in its development is far game. It will likely touch on many deep dark implementation details of Alloy.