About the Alloy 6 category

[peter.kriens]

Alloy 6 is the current version of Alloy. It integrated successfully the Electrum code base. Alloy 6 now has variables and time operators.