K 10 svn:author V 3 jjm K 8 svn:date V 27 2000-08-31T13:32:50.000000Z K 7 svn:log V 205 Allow indefinite number of improvements. Also, improved internal, save- file and protocol representations of worklists. Committed after fixing several bugs noticed by David Pfitzner . END