Custom Query (1 match)
Status: new (1 match)
| Ticket | Summary | Owner | Type | Resolution | Section | State |
|---|---|---|---|---|---|---|
| #133 | ExplicitForall | igloo, NiklasBroberg | extension | -- | Declarations/Bindings | complete |
Note: See TracQuery
for help on using queries.
| Ticket | Summary | Owner | Type | Resolution | Section | State |
|---|---|---|---|---|---|---|
| #133 | ExplicitForall | igloo, NiklasBroberg | extension | -- | Declarations/Bindings | complete |
Powered by Trac 0.11.6
By Edgewall Software.
Visit the Trac open source project at
http://trac.edgewall.com/