| Sun, 12 Jun 2011 20:24:25 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 12 Jun 2011 20:08:49 +0200 | wenzelm | separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance; | changeset | files |
| Sun, 12 Jun 2011 16:19:29 +0200 | wenzelm | check source dependencies only if jedit_build component is available; | changeset | files |