Custom Query (361 matches)
Results (52 - 54 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#271 | fixed | Special characters in Isabelle identifiers missing? | ||
#277 | fixed | span start vs. command start | ||
#281 | fixed | Odd unicode abbreviations, notably |> |
Note: See TracQuery
for help on using queries.