Custom Query (361 matches)
Results (118 - 120 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#268 | fixed | Hiding proofs wrong with Coq | ||
#270 | fixed | Odd PG/Trac link | ||
#271 | fixed | Special characters in Isabelle identifiers missing? |
Note: See TracQuery
for help on using queries.