Custom Query (361 matches)
Results (88 - 90 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#210 | fixed | input of symbols in Carbon Emacs | ||
#211 | fixed | Coq : deactivation of the 'Holes' functionality | ||
#213 | fixed | Carbon Emacs: strange unicode abbreviations |
Note: See TracQuery
for help on using queries.