--- 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$