TLA# / Feature Requests

Feature Requests Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
4	PlusCal Support	unsupported	open		2009-02-05	2009-02-05
3	TLA# User Guide	None	open	Petru Rebeja	2009-02-05	2009-02-05
2	TLA+2 Support	unsupported	open		2009-02-05	2009-02-05
1	Template Project	0.2	open	Petru Rebeja	2009-02-05	2009-02-05