Custom Query (361 matches)
Results (1 - 3 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#1 | fixed | Try to get trac working for Proof General web | ||
#4 | fixed | Use stixfonts once they become available | ||
#6 | fixed | Add code folding for proof scripts |
Note: See TracQuery
for help on using queries.