# HG changeset patch
# User wenzelm
# Date 1229785457 -3600
# Node ID 30e49efdd4e382bc8d94ccaa0baf2098ea99afd5
# Parent  5f25eb86c6a0862ffcb75e50ae3b40c925772d22
basic isabelle mode setup;

diff -r 5f25eb86c6a0 -r 30e49efdd4e3 src/Tools/jEdit/dist-template/modes/isabelle.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/dist-template/modes/isabelle.xml	Sat Dec 20 16:04:17 2008 +0100
@@ -0,0 +1,43 @@
+<?xml version="1.0"?>
+<!DOCTYPE MODE SYSTEM "xmode.dtd">
+
+<!-- Isabelle theory mode -->
+<MODE>
+  <PROPS>
+    <PROPERTY NAME="commentStart" VALUE="(*"/>
+    <PROPERTY NAME="commentEnd" VALUE="*)"/>
+    <PROPERTY NAME="noWordSep" VALUE="_'.?"/>
+    <PROPERTY NAME="indentOpenBrackets" VALUE="{"/>
+    <PROPERTY NAME="indentCloseBrackets" VALUE="}"/>
+    <PROPERTY NAME="unalignedOpenBrackets" VALUE="(" />
+    <PROPERTY NAME="unalignedCloseBrackets" VALUE=")" />
+    <PROPERTY NAME="tabSize" VALUE="2" />
+    <PROPERTY NAME="indentSize" VALUE="2" />
+  </PROPS>
+  <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="FALSE" ESCAPE="\">
+    <SPAN TYPE="COMMENT1">
+      <BEGIN>(*</BEGIN>
+      <END>*)</END>
+    </SPAN>
+    <SPAN TYPE="COMMENT3">
+      <BEGIN>{*</BEGIN>
+      <END>*}</END>
+    </SPAN>
+    <SPAN TYPE="LITERAL1">
+      <BEGIN>`</BEGIN>
+      <END>`</END>
+    </SPAN>
+    <SPAN TYPE="LITERAL3">
+      <BEGIN>"</BEGIN>
+      <END>"</END>
+    </SPAN>
+    <KEYWORDS>
+      <LABEL>header</LABEL>
+      <KEYWORD3>theory</KEYWORD3>
+      <KEYWORD4>imports</KEYWORD4>
+      <KEYWORD4>uses</KEYWORD4>
+      <KEYWORD4>begin</KEYWORD4>
+      <KEYWORD4>end</KEYWORD4>
+    </KEYWORDS>
+  </RULES>
+</MODE>
diff -r 5f25eb86c6a0 -r 30e49efdd4e3 src/Tools/jEdit/makedist
--- a/src/Tools/jEdit/makedist	Sat Dec 20 14:48:10 2008 +0100
+++ b/src/Tools/jEdit/makedist	Sat Dec 20 16:04:17 2008 +0100
@@ -91,6 +91,10 @@
 
 cp -R "$THIS/dist-template/." "$JEDIT/."
 
+perl -i -e 'while (<>) { if (m/NAME="javacc"/) {
+  print qq,<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>\n\n,; }
+  print; }' "$JEDIT/modes/catalog"
+
 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar"
 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar"
 cp jars/lib/core-renderer.jar "$JEDIT/jars/"