Tue, 16 Oct 2012 22:13:46 +0200 wenzelm retain info dockable state via educated guess on window focus;
Tue, 16 Oct 2012 21:30:52 +0200 wenzelm support for more informative errors in lazy enumerations;
Tue, 16 Oct 2012 21:26:36 +0200 wenzelm more informative errors for 'also' and 'finally';
Tue, 16 Oct 2012 20:35:24 +0200 wenzelm tuned messages;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip