Sun, 13 Sep 2009 14:34:50 +0200 | wenzelm | avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java; | changeset | files |
Tue, 08 Sep 2009 22:38:01 +0200 | wenzelm | Prover: keep command_change/document_change event buses here, not in ProofDocument, Command, State, Plugin; | changeset | files |