lib/jedit/README
changeset 24888 68ff03c069a0
child 24889 701e0e3ee972
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/jedit/README	Sun Oct 07 13:41:31 2007 +0200
@@ -0,0 +1,22 @@
+Basic Isabelle mode for jEdit -- http://www.jedit.org/
+======================================================
+
+INSTALLATION
+
+1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
+[JEDIT_SETTINGS]/modes/
+
+2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
+
+<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>
+
+:mode=text:wrap=hard:maxLineLen=72:
+$Id$