Custom Query (361 matches)
Results (16 - 18 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#368 | needmoreinfo | coq, already defined values | ||
#373 | needmoreinfo | PG 4.0 forgets things. | ||
#431 | needmoreinfo | "This subproof is complete" appears at bottom of goals |
Note: See TracQuery
for help on using queries.