# HG changeset patch
# User wenzelm
# Date 1393844335 -3600
# Node ID 12f9a54ac64f7d1b580729e7c4c81d1a4018f561
# Parent  ac979f750c1ae616e4a0eac038f3f30406055f22
README is optional in test compilations;

diff -r ac979f750c1a -r 12f9a54ac64f src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Mon Mar 03 11:58:07 2014 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Mon Mar 03 11:58:55 2014 +0100
@@ -282,7 +282,7 @@
   \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 "$POLYML_HOME/README"}.
+  "$ISABELLE_HOME/etc/symbols"} or @{file_unchecked "$POLYML_HOME/README"}.
   There are special shortcuts: @{file "~"} for @{file "$USER_HOME"}
   and @{file "~~"} for @{file "$ISABELLE_HOME"}.