| changeset 62551 | df62e1ab7d88 |
| parent 62549 | 9498623b27f0 |
| child 62559 | 83e815849a91 |
--- a/NEWS Mon Mar 07 21:33:41 2016 +0100 +++ b/NEWS Mon Mar 07 21:53:21 2016 +0100 @@ -210,6 +210,11 @@ replaced by structure Timeout, with slightly different signature. INCOMPATIBILITY. +* Discontinued cd and pwd operations, which are not well-defined in a +multi-threaded environment. Note that files are usually located +relatively to the master directory of a theory (see also +File.full_path). Potential INCOMPATIBILITY. + *** System ***