NEWS
changeset 14854 61bdf2ae4dc5
parent 14816 b77cebcd7e6e
child 14878 b884a7ba7238
     1.1 --- a/NEWS	Tue Jun 01 11:25:26 2004 +0200
     1.2 +++ b/NEWS	Tue Jun 01 12:33:50 2004 +0200
     1.3 @@ -32,6 +32,11 @@
     1.4    instead of 'nonterminals'/'syntax'.  Some very exotic syntax
     1.5    specifications may require further adaption (e.g. Cube/Base.thy).
     1.6  
     1.7 +* Pure: removed obsolete type class "logic", use the top sort {}
     1.8 +  instead.  Note that non-logical types should be declared as
     1.9 +  'nonterminals' rather than 'types'.  INCOMPATIBILITY for new
    1.10 +  object-logic specifications.
    1.11 +
    1.12  * Pure/Syntax: inner syntax includes (*(*nested*) comments*).
    1.13  
    1.14  * Pure/Syntax: pretty pinter now supports unbreakable blocks,