#1 Template Project

0.2
open
Installer (1)
5
2009-02-05
2009-02-05
No

Template Project should be installed as "Temporal Logic of Actions" category (group), under TLA+ Project.

Discussion


Log in to post a comment.