changeset 41414 | 00b2b6716ed8 |
parent 41401 | e3ec82999306 |
child 41429 | cf5f025bc3c7 |
--- a/NEWS Wed Dec 29 17:34:41 2010 +0100 +++ b/NEWS Wed Dec 29 18:18:42 2010 +0100 @@ -84,6 +84,10 @@ floating-point notation that coincides with the inner syntax for float_token. +* Theory loader: implicit load path is considered legacy. Use +explicit file specifications instead, relatively to the directory of +the enclosing theory file. + *** Pure ***