Custom Query (361 matches)
Results (40 - 42 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#153 | fixed | is "proof state" view needed anymore? | ||
#210 | fixed | input of symbols in Carbon Emacs | ||
#372 | invalid | funny => sign all over my scripts |
Note: See TracQuery
for help on using queries.