--- a/NEWS Wed Jul 09 16:54:17 1997 +0200 +++ b/NEWS Wed Jul 09 17:00:34 1997 +0200 @@ -7,6 +7,8 @@ * removed old README and Makefiles; +* removed obsolete init_pps and init_database; + New in Isabelle94-8 (May 1997) ------------------------------