author | wenzelm |
Wed, 06 Jul 2005 10:41:51 +0200 | |
changeset 16717 | 710a7a7a2b65 |
parent 16716 | 57fd954ee326 |
child 16718 | 70c94b82c556 |
--- a/NEWS Wed Jul 06 10:41:50 2005 +0200 +++ b/NEWS Wed Jul 06 10:41:51 2005 +0200 @@ -17,8 +17,9 @@ theory <name> = <theory1> + ... + <theoryN>: -will disappear in the next release. Note that there is no change in -ancient non-Isar theories. +will disappear in the next release. Use isatool fixheaders to convert +existing theory files. Note that there is no change in ancient +non-Isar theories. * Theory loader: parent theories can now also be referred to via relative and absolute paths.