id Resolution Summary Owner Reporter 1 fixed Try to get trac working for Proof General web David Aspinall David Aspinall 4 fixed Use stixfonts once they become available David Aspinall David Aspinall 6 fixed Add code folding for proof scripts David Aspinall anonymous