rkoenig [Tue, 11 Jul 2006 14:48:17 +0200] rev 3313
RK 060711 some errors from merging fixed
gkompach [Tue, 11 Jul 2006 14:37:10 +0200] rev 3312
preparation for design-discussions
gkompach [Tue, 11 Jul 2006 14:23:58 +0200] rev 3311
preparation for design-discussions
rkoenig [Tue, 11 Jul 2006 14:13:52 +0200] rev 3310
RK 060711 wich System.exit(-1) in not implemented methods
gkompach [Tue, 11 Jul 2006 11:07:52 +0200] rev 3309
preparation for design-discussions
gkompach [Tue, 11 Jul 2006 10:57:35 +0200] rev 3308
preparation for design-discussions
wneuper [Tue, 11 Jul 2006 10:47:02 +0200] rev 3307
separated contexts WA, WS, Browsers
rkoenig [Mon, 10 Jul 2006 18:13:22 +0200] rev 3306
RK 060710 belonging to new design
gkompach [Mon, 10 Jul 2006 16:41:32 +0200] rev 3305
new generated interface for the BrowserDialog
rkoenig [Mon, 10 Jul 2006 14:16:04 +0200] rev 3304
RK 060710 a test for KEStoreCommunication added to check if the theories are accessable as well