Custom Query (2 matches)

Filters
 
Columns

Show under each result:


Resolution: fixed (2 matches)

Ticket Summary Owner Type Priority Version Reporter
#71 Better error message for unimplemented class functions erikd defect blocker 0.1.2 benl
#53 Check for name shadowing in forall quantifiers. erikd defect blocker 0.1.2 benl
Note: See TracQuery for help on using queries.