NEWS
changeset 3535 19bd6c8274c4
parent 3511 da4dd8b7ced4
child 3561 329441e7eeee
equal deleted inserted replaced
3534:c245c88194ff 3535:19bd6c8274c4
     6 -------------------------------
     6 -------------------------------
     7 
     7 
     8 * removed old README and Makefiles;
     8 * removed old README and Makefiles;
     9 
     9 
    10 * removed obsolete init_pps and init_database;
    10 * removed obsolete init_pps and init_database;
       
    11 
       
    12 * defs may now be conditional;
       
    13 
       
    14 * improved output of warnings / errors;
    11 
    15 
    12 
    16 
    13 New in Isabelle94-8 (May 1997)
    17 New in Isabelle94-8 (May 1997)
    14 ------------------------------
    18 ------------------------------
    15 
    19