gkompach [Tue, 25 Jul 2006 18:44:44 +0200] rev 3580
changed STATUS-role for parsing method contexts
gkompach [Tue, 25 Jul 2006 18:42:01 +0200] rev 3579
changed STATUS-role + new simplyfier for assumptions
nsimic [Tue, 25 Jul 2006 18:41:17 +0200] rev 3578
NC060725: MiniBrowser update
gkompach [Tue, 25 Jul 2006 18:40:39 +0200] rev 3577
changed STATUS-role + new simplyfier for assumptions
gkompach [Tue, 25 Jul 2006 18:40:39 +0200] rev 3576
changed STATUS-role + new simplyfier for assumptions
nsimic [Tue, 25 Jul 2006 18:36:06 +0200] rev 3575
NC060720: MiniBrowser update
rkoenig [Tue, 25 Jul 2006 18:32:00 +0200] rev 3574
RK060725 bugfix: if context off is clicked, the context stayed the same
gkompach [Tue, 25 Jul 2006 17:23:19 +0200] rev 3573
still not running - debug me!
nsimic [Tue, 25 Jul 2006 17:16:17 +0200] rev 3572
NC060725: WindowApplication Next and Auto buttons are now separeted from the main buttons
wneuper [Tue, 25 Jul 2006 17:14:58 +0200] rev 3571
working on problems with reading <CONTEXTPBL> into Bridge