# HG changeset patch
# User wenzelm
# Date 1191757686 -7200
# Node ID 701e0e3ee97242f32c68814789acf194a77014fa
# Parent  68ff03c069a00559ddb5321e4ebd8e2faaa49f66
tuned;

diff -r 68ff03c069a0 -r 701e0e3ee972 lib/jedit/README
--- a/lib/jedit/README	Sun Oct 07 13:41:31 2007 +0200
+++ b/lib/jedit/README	Sun Oct 07 13:48:06 2007 +0200
@@ -8,15 +8,15 @@
 
 2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
 
-<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
+  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
 
 Example catalog file:
 
-<?xml version="1.0"?>
-<!DOCTYPE MODES SYSTEM "catalog.dtd">
-<MODES>
-  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
-</MODES>
+  <?xml version="1.0"?>
+  <!DOCTYPE MODES SYSTEM "catalog.dtd">
+  <MODES>
+    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
+  </MODES>
 
-:mode=text:wrap=hard:maxLineLen=72:
+
 $Id$