changeset 48693 | ceeea46bdeba |
parent 48683 | eeb4480b5877 |
child 48722 | a5e3ba7cbb2a |
--- a/NEWS Mon Aug 06 14:33:23 2012 +0200 +++ b/NEWS Mon Aug 06 16:05:29 2012 +0200 @@ -85,6 +85,9 @@ isabelle build -s -b HOLCF +* The "isabelle options" tool prints Isabelle system options, as +required for "isabelle build", for example. + * The "isabelle mkroot" tool prepares session root directories for use with "isabelle build", similar to former "isabelle mkdir" for "isabelle usedir".