| Fri, 01 Oct 2010 15:11:15 +0200 | wenzelm | tuned default "Prover Session" perspective; | file | diff | annotate |
| Tue, 28 Sep 2010 20:35:17 +0200 | wenzelm | tuned README; | file | diff | annotate |
| Tue, 28 Sep 2010 18:51:10 +0200 | wenzelm | tuned README; | file | diff | annotate |
| Wed, 22 Sep 2010 16:04:20 +0200 | wenzelm | more content for Session_Dockable; | file | diff | annotate |