# HG changeset patch # User wenzelm # Date 1384982153 -3600 # Node ID 46adb57c89db18c6a2b0af149975ba7f94e8058b # Parent db3d3d99c69df03d9f699028e77655596de3aae9 compile on Windows (clone of d04576557400); diff -r db3d3d99c69d -r 46adb57c89db src/Doc/JEdit/JEdit.thy --- a/src/Doc/JEdit/JEdit.thy Wed Nov 20 22:10:45 2013 +0100 +++ b/src/Doc/JEdit/JEdit.thy Wed Nov 20 22:15:53 2013 +0100 @@ -278,10 +278,9 @@ \emph{all} platforms.\footnote{Isabelle on Windows uses Cygwin file-system access.} Moreover, environment variables from the Isabelle process may be used freely, e.g.\ @{file - "$ISABELLE_HOME/etc/symbols"} or @{file - "$ISABELLE_JDK_HOME/README.html"}. There are special shortcuts: - @{file "~"} for @{file "$USER_HOME"} and @{file "~~"} for @{file - "$ISABELLE_HOME"}. + "$ISABELLE_HOME/etc/symbols"} or @{file "$POLYML_HOME/README"}. + There are special shortcuts: @{file "~"} for @{file "$USER_HOME"} + and @{file "~~"} for @{file "$ISABELLE_HOME"}. \medskip Since jEdit happens to support environment variables within file specifications as well, it is natural to use similar notation