# HG changeset patch
# User wenzelm
# Date 1191757291 -7200
# Node ID 68ff03c069a00559ddb5321e4ebd8e2faaa49f66
# Parent  173f23cecbe8f1da2cea83408900772062acd7c1
Basic Isabelle mode for jEdit -- http://www.jedit.org/

diff -r 173f23cecbe8 -r 68ff03c069a0 lib/jedit/README
--- /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$