| Mon, 03 Sep 2012 22:31:27 +0200 | wenzelm | prefer old startup dialog scheme (cf. 514bb82514df); | changeset | files |
| Mon, 03 Sep 2012 22:22:38 +0200 | wenzelm | more permissive handling of plugin startup failure; | changeset | files |
| Mon, 03 Sep 2012 21:30:34 +0200 | wenzelm | bypass slow check for inlined files, where it is not really required; | changeset | files |
| Mon, 03 Sep 2012 20:57:51 +0200 | wenzelm | more direct access to all-important chunks for text painting; | changeset | files |
| Mon, 03 Sep 2012 15:50:41 +0200 | nipkow | merged | changeset | files |
| Mon, 03 Sep 2012 15:41:06 +0200 | nipkow | added annotations after condition in if and while | changeset | files |