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