| changeset 48431 | 6efff142bb54 |
| parent 48428 | ffa0618cc4d4 |
| child 48574 | 4af9f3122138 |
--- a/NEWS Mon Jul 23 09:26:55 2012 +0200 +++ b/NEWS Mon Jul 23 09:28:03 2012 +0200 @@ -15,6 +15,9 @@ *** Pure *** +* Code generation for Haskell: restrict unqualified imports from +Haskell Prelude to a small set of fundamental operations. + * Command "export_code": relative file names are interpreted relatively to master directory of current theory rather than the rather arbitrary current working directory.