| changeset 51399 | 6ac3c29a300e |
| parent 51398 | c3d02b3518c2 |
| child 51417 | d266f9329368 |
--- a/NEWS Mon Mar 11 14:25:14 2013 +0100 +++ b/NEWS Tue Mar 12 16:47:24 2013 +0100 @@ -63,9 +63,9 @@ *** System *** -* Discontinued "isabelle usedir" option -P (remote path). Note that -usedir is legacy and superseded by "isabelle build" since -Isabelle2013. +* Discontinued "isabelle usedir" option -P (remote path) and -r (reset +session path). Note that usedir is legacy and superseded by "isabelle +build" since Isabelle2013.