| 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 |