NEWS
changeset 48371 3a5a5a992519
parent 48317 e5420161d11d
child 48402 327ebf1c42a8
     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