Custom Query (361 matches)
Results (1 - 3 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#512 | fixed | test.coq target doesn't exist | ||
#511 | invalid | new Coq command "From" supported by PG? | ||
#505 | fixed | Fix indentation of lazymatch in Coq |
Note: See TracQuery
for help on using queries.