NEWS
1997-01-24 wenzelm 1997-01-24 *** empty log message ***
1997-01-24 wenzelm 1997-01-24 *** empty log message ***
1997-01-24 wenzelm 1997-01-24 Isabelle NEWS -- history of user-visible changes;