changeset 62840 | d9744f41a4ec |
parent 62596 | cf79f8866bc3 |
child 63669 | 256fc20716f2 |
--- a/src/Doc/System/Sessions.thy Sun Apr 03 23:28:48 2016 +0200 +++ b/src/Doc/System/Sessions.thy Sun Apr 03 23:56:52 2016 +0200 @@ -270,7 +270,6 @@ Build and manage Isabelle sessions, depending on implicit settings: ISABELLE_BUILD_OPTIONS="..." - ISABELLE_BUILD_JAVA_OPTIONS="..." ML_PLATFORM="..." ML_HOME="..."