Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Status: closed (2 matches)

Ticket Summary Owner Type Priority Version Resolution
#190 Add list of abstract functions to XML representation of model bperry enhancement major 1.0 fixed
#206 Formal grammar for assertion and joint invariant language bperry task major 1.0 wontfix
Batch Modify
Note: See TracBatchModify for help on using batch modify.
Note: See TracQuery for help on using queries.