NEWS
changeset 68247 b48bab511939
parent 68219 c0341c0080e2
child 68250 949d93804740
     1.1 --- a/NEWS	Tue May 22 11:05:47 2018 +0200
     1.2 +++ b/NEWS	Fri May 18 17:51:58 2018 +0200
     1.3 @@ -201,6 +201,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Landau_Symbols from the AFP was moved to HOL-Library
     1.8 +
     1.9  * Clarified relationship of characters, strings and code generation:
    1.10  
    1.11    * Type "char" is now a proper datatype of 8-bit values.