NEWS
changeset 48371 3a5a5a992519
parent 48317 e5420161d11d
child 48402 327ebf1c42a8
--- a/NEWS	Thu Jul 19 20:52:17 2012 +0200
+++ b/NEWS	Thu Jul 19 22:21:59 2012 +0200
@@ -15,6 +15,11 @@
 
 *** Pure ***
 
+* Command "export_code": relative file names are interpreted
+relatively to master directory of current theory rather than
+the rather arbitrary current working directory.
+INCOMPATIBILITY.
+
 * Discontinued obsolete attribute "COMP".  Potential INCOMPATIBILITY,
 use regular rule composition via "OF" / "THEN", or explicit proof
 structure instead.  Note that Isabelle/ML provides a variety of