1.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 22:10:45 2013 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 22:15:53 2013 +0100
     1.3 @@ -278,10 +278,9 @@
     1.4    \emph{all} platforms.\footnote{Isabelle on Windows uses Cygwin
     1.5    file-system access.}  Moreover, environment variables from the
     1.6    Isabelle process may be used freely, e.g.\ @{file
     1.7 -  "$ISABELLE_HOME/etc/symbols"} or @{file
     1.8 -  "$ISABELLE_JDK_HOME/README.html"}.  There are special shortcuts:
     1.9 -  @{file "~"} for @{file "$USER_HOME"} and @{file "~~"} for @{file
    1.10 -  "$ISABELLE_HOME"}.
    1.11 +  "$ISABELLE_HOME/etc/symbols"} or @{file "$POLYML_HOME/README"}.
    1.12 +  There are special shortcuts: @{file "~"} for @{file "$USER_HOME"}
    1.13 +  and @{file "~~"} for @{file "$ISABELLE_HOME"}.
    1.14  
    1.15    \medskip Since jEdit happens to support environment variables within
    1.16    file specifications as well, it is natural to use similar notation