| Fri, 25 Jun 2010 19:12:04 +0200 | haftmann | merged | changeset | files |
| Fri, 25 Jun 2010 11:42:29 +0200 | haftmann | avoid REPEAT after THEN_ALL_NEW | changeset | files |
| Sat, 26 Jun 2010 22:44:25 +0200 | wenzelm | refresh Isabelle token marker after buffer properties changed, e.g. when fold mode is switched; | changeset | files |
| Sat, 26 Jun 2010 22:19:55 +0200 | wenzelm | treat alternative newline symbols as in Isabelle/ML; | changeset | files |
| Sat, 26 Jun 2010 21:26:35 +0200 | wenzelm | simplified text_area_painter, with more precise treatment of visible line end; | changeset | files |
| Fri, 25 Jun 2010 14:05:49 +0200 | wenzelm | merged | changeset | files |
| Fri, 25 Jun 2010 12:15:49 +0200 | blanchet | merged | changeset | files |
| Fri, 25 Jun 2010 12:15:24 +0200 | blanchet | eta-expand | changeset | files |