Custom Query (361 matches)
Results (13 - 15 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#505 | fixed | Fix indentation of lazymatch in Coq | ||
#1 | fixed | Try to get trac working for Proof General web | ||
#4 | fixed | Use stixfonts once they become available |
Note: See TracQuery
for help on using queries.