# HG changeset patch
# User wenzelm
# Date 1342795538 -7200
# Node ID 7363de5c8a264c93b57ea5da04d8f98cd90e9574
# Parent d88aefda01c40946e50922c3ceee49ac0f316017
basic jEdit mode for Isabelle options;
diff -r d88aefda01c4 -r 7363de5c8a26 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit Fri Jul 20 15:48:22 2012 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit Fri Jul 20 16:45:38 2012 +0200
@@ -230,6 +230,7 @@
perl -i -e 'while (<>) {
if (m/NAME="javacc"/) {
print qq,\n\n,;
+ print qq,\n\n,;
print qq,\n\n,; }
elsif (m/NAME="scheme"/) {
print qq,\n\n,; }
diff -r d88aefda01c4 -r 7363de5c8a26 src/Tools/jEdit/src/modes/isabelle-options.xml
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/src/modes/isabelle-options.xml Fri Jul 20 16:45:38 2012 +0200
@@ -0,0 +1,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (*
+ *)
+
+
+ {*
+ *}
+
+
+ `
+ `
+
+
+ "
+ "
+
+
+ declare
+ define
+
+
+