34 lines
873 B
Diff
34 lines
873 B
Diff
--- antlr-2.7.7/extras/antlr-jedit.xml 2006-11-01 22:37:17.000000000 +0100
|
|
+++ antlr-2.7.7/extras/antlr-jedit.xml-gil 2009-02-21 00:08:41.000000000 +0100
|
|
@@ -16,9 +16,6 @@
|
|
</PROPS>
|
|
|
|
<RULES DEFAULT="KEYWORD1">
|
|
- <!-- whitespace: (space and tab) -->
|
|
- <WHITESPACE> </WHITESPACE>
|
|
- <WHITESPACE> </WHITESPACE>
|
|
|
|
<!-- antlr specific rules -->
|
|
<SPAN DELEGATE="java::MAIN" TYPE="KEYWORD1">
|
|
@@ -97,9 +94,7 @@
|
|
</RULES>
|
|
|
|
<RULES DEFAULT="KEYWORD2" SET="PRODUCTION">
|
|
- <!-- whitespace: (space and tab) -->
|
|
- <WHITESPACE> </WHITESPACE>
|
|
- <WHITESPACE> </WHITESPACE>
|
|
+
|
|
<!-- Silly comment -->
|
|
<SEQ TYPE="COMMENT1">/**/</SEQ>
|
|
|
|
@@ -149,9 +144,6 @@
|
|
</RULES>
|
|
|
|
<RULES SET="KEYVALUE">
|
|
- <!-- whitespace: (space and tab) -->
|
|
- <WHITESPACE> </WHITESPACE>
|
|
- <WHITESPACE> </WHITESPACE>
|
|
|
|
<SEQ TYPE="KEYWORD1">{</SEQ>
|
|
|