--- a/src/Tools/jEdit/dist-template/README.html Thu Dec 02 23:09:54 2010 +0100
+++ b/src/Tools/jEdit/dist-template/README.html Fri Dec 03 11:21:17 2010 +0100
@@ -15,7 +15,7 @@
<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>
+ (e.g. the text area font).</li>
<li>Formal Isabelle/Isar text is checked asynchronously while editing.
The user is in full command of the editor, and the prover refrains