src/Doc/JEdit/JEdit.thy

--- a/src/Doc/JEdit/JEdit.thy	Thu Dec 21 21:44:09 2017 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Thu Dec 21 22:07:30 2017 +0100
@@ -1899,7 +1899,7 @@
 
 text \<open>
   The action @{action_def isabelle.preview} opens an HTML preview of the
-  current theory document in the default web browser. The content is derived
+  current document node in the default web browser. The content is derived
   from the semantic markup produced by the prover, and thus depends on the
   status of formal processing.
 \<close>