# HG changeset patch
# User wenzelm
# Date 1384725009 -3600
# Node ID d0457655740046f6eda789014e587767cd7c83c3
# Parent  2f7867850cc3005736ba561d0aff447c25d3e872
more robust example;

diff -r 2f7867850cc3 -r d04576557400 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sun Nov 17 21:46:12 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Sun Nov 17 22:50:09 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