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 | ||
Description |
Get trac working for Proof General. |
|||
#4 | fixed | Use stixfonts once they become available | ||
Description |
|
|||
#6 | fixed | Add code folding for proof scripts | ||
Description |
Add code folding for proof scripts. Hua Yang had some experimental code which hard-coded Isabelle syntax; this should be revisited and revised to use the document parse instead. |
Note: See TracQuery
for help on using queries.