diff options
Diffstat (limited to 'kate/data/oors.xml')
| -rw-r--r-- | kate/data/oors.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kate/data/oors.xml b/kate/data/oors.xml index f36a68337..0fb832ab8 100644 --- a/kate/data/oors.xml +++ b/kate/data/oors.xml @@ -1,15 +1,18 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE language SYSTEM "language.dtd"> -<language name="OORS" version="1.0" kateversion="2.4" section="Sources" extensions="*.oors" author="Gernot Gebhard (gebhard@cs.uni-sb.de)" license="LGPL"> +<language name="OORS" version="1.2" kateversion="2.5" section="Sources" extensions="*.oors" author="Gernot Gebhard (gebhard@cs.uni-sb.de)" license="LGPL"> <highlighting> <list name="oors"> <item>allow</item> <item>apply</item> + <item>backtrack</item> <item>copy</item> <item>condition</item> <item>deny</item> <item>extends</item> <item>graph</item> + <item>if</item> + <item>else</item> <item>linear</item> <item>profile</item> <item>rule</item> |