# HG changeset patch
# User wenzelm
# Date 1291371677 -3600
# Node ID a0f7ebe8f7a765de9401c776934a5c74ea7379b1
# Parent  7d88ebdce380fe14a4c6da51182fe551f249d162
tuned README;

diff -r 7d88ebdce380 -r a0f7ebe8f7a7 src/Tools/jEdit/dist-template/README.html
--- 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