--- a/src/Tools/jEdit/README.html Wed Sep 05 20:36:13 2012 +0200
+++ b/src/Tools/jEdit/README.html Wed Sep 05 20:54:40 2012 +0200
@@ -67,7 +67,7 @@
<li>Dockable panels (e.g. <em>Output</em>) are managed as independent
windows by jEdit, which also allows multiple instances.</li>
-<li>Prover process and source files are managed by the Scala layer on
+<li>Prover process and source files are managed by the Isabelle/Scala on
the editor side. The prover experiences a mostly timeless and
stateless environment of formal document content.</li>