| 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 |
| Fri, 25 Jun 2010 12:08:48 +0200 | blanchet | improve the natural formula relevance filter code, so that it behaves more like the CNF one | changeset | files |