Custom Query (4 matches)
Ticket | Summary | Status | Keywords | Owner | Type | Priority |
---|---|---|---|---|---|---|
#483 | ltac: and constr: should not affect indentation | new | indentation | defect | minor | |
#499 | delays between coq messages can cause PG to duplicate some | new | duplicate messages | defect | minor | |
#480 | [match]es sometimes screw up indentation | new | indentation | defect | minor | |
#51 | Add processing direction to 'active script' decorator | new | decorator document state | enhancement | minor |
Note: See TracQuery
for help on using queries.