| Mon, 03 Sep 2012 17:55:42 +0200 | traytel | added examples for testing of coinductive witnesses | changeset | files |
| Mon, 03 Sep 2012 22:50:07 +0200 | wenzelm | continue with more robust dummy session after failed startup; | changeset | files |
| 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 |