1.1 --- a/NEWS Thu Jul 19 20:52:17 2012 +0200
1.2 +++ b/NEWS Thu Jul 19 22:21:59 2012 +0200
1.3 @@ -15,6 +15,11 @@
1.4
1.5 *** Pure ***
1.6
1.7 +* Command "export_code": relative file names are interpreted
1.8 +relatively to master directory of current theory rather than
1.9 +the rather arbitrary current working directory.
1.10 +INCOMPATIBILITY.
1.11 +
1.12 * Discontinued obsolete attribute "COMP". Potential INCOMPATIBILITY,
1.13 use regular rule composition via "OF" / "THEN", or explicit proof
1.14 structure instead. Note that Isabelle/ML provides a variety of