changeset 17172 | f048bd26ed3a |
parent 17166 | dc3b8cec8bba |
child 17189 | b15f8e094874 |
--- a/NEWS Sun Aug 28 16:04:55 2005 +0200 +++ b/NEWS Sun Aug 28 16:06:07 2005 +0200 @@ -19,7 +19,7 @@ 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 now, but these are likely to disappear soon. +non-Isar theories. * Theory loader: parent theories can now also be referred to via relative and absolute paths.