--- a/src/Tools/jEdit/dist-template/README.html Tue Sep 28 20:22:58 2010 +0200
+++ b/src/Tools/jEdit/dist-template/README.html Tue Sep 28 20:35:17 2010 +0200
@@ -4,25 +4,33 @@
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
-<title>Notes on Isabelle/jEdit Prover IDE</title>
+<title>Notes on the Isabelle/jEdit Prover IDE</title>
</head>
<body>
-<h1>Notes on Isabelle/jEdit Prover IDE</h1>
+<h1>Notes on the Isabelle/jEdit Prover IDE</h1>
<ul>
-<li>Formal Isabelle/Isar text is checked asynchronously while editing.</li>
+<li>The original jEdit look-and-feel is generally preserved, although
+ some default properties have been changed to accommodate Isabelle
+ (e.g. main the text area font).</li>
-<li>Prover feedback works via tooltips, syntax highlighting, colors, boxes etc.
- based on semantic markup provided by Isabelle in the background.</li>
+<li>Formal Isabelle/Isar text is checked asynchronously while editing.
+ The user is in full command of the editor, and the prover refrains
+ from locking portions of the buffer etc.</li>
-<li>The modifier key <tt>C</tt> (<tt>CONTROL</tt> on Linux or Windows,
+<li>Prover feedback works via tooltips, syntax highlighting, colors,
+ boxes etc. based on semantic markup provided by Isabelle in the
+ background.</li>
+
+<li>Using the mouse together with the modifier key <tt>C</tt>
+(<tt>CONTROL</tt> on Linux or Windows,
<tt>COMMAND</tt> on Mac OS) exposes additional information.</li>
-<li>Dockable panels (e.g. <b>Output</b> are managed as independent windows by jEdit.
- Multiple instances are possible.</li>
+<li>Dockable panels (e.g. <em>Output</em>) are managed as independent
+ windows by jEdit, which also allows multiple instances.</li>
</ul>