1.1 --- a/NEWS	Mon Jul 23 09:26:55 2012 +0200
     1.2 +++ b/NEWS	Mon Jul 23 09:28:03 2012 +0200
     1.3 @@ -15,6 +15,9 @@
     1.4  
     1.5  *** Pure ***
     1.6  
     1.7 +* Code generation for Haskell: restrict unqualified imports from
     1.8 +Haskell Prelude to a small set of fundamental operations.
     1.9 +
    1.10  * Command "export_code": relative file names are interpreted
    1.11  relatively to master directory of current theory rather than
    1.12  the rather arbitrary current working directory.