<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE language><language name="Eiffel" version="5" kateversion="5.62" section="Sources" extensions="*.e" mimetype="text/x-eiffel-src" author="Sebastian Vuorinen" license=""><highlighting><list name="keywords"><item>agent</item><item>alias</item><item>all</item><item>and</item><item>as</item><item>assign</item><item>class</item><item>convert</item><item>create</item><item>creation</item><item>debug</item><item>deferred</item><item>do</item><item>else</item><item>elseif</item><item>end</item><item>expanded</item><item>export</item><item>external</item><item>feature</item><item>from</item><item>frozen</item><item>if</item><item>implies</item><item>indexing</item><item>infix</item><item>inherit</item><item>inspect</item><item>is</item><item>like</item><item>local</item><item>loop</item><item>not</item><item>obsolete</item><item>old</item><item>once</item><item>or</item><item>prefix</item><item>pure</item><item>redefine</item><item>reference</item><item>rename</item><item>rescue</item><item>retry</item><item>separate</item><item>then</item><item>undefine</item></list><list name="predefined-entities"><item>Current</item><item>False</item><item>Precursor</item><item>Result</item><item>TUPLE</item><item>True</item></list><list name="assertions"><item>check</item><item>ensure</item><item>invariant</item><item>require</item><item>variant</item></list><contexts><context name="Normal" attribute="Normal Text"><DetectSpaces attribute="Normal Text"/><keyword String="keywords" attribute="Keyword"/><keyword String="predefined-entities" attribute="Predefined entities"/><keyword String="assertions" attribute="Assertions"/><DetectIdentifier attribute="Normal Text"/><Float attribute="Float"/><Int attribute="Decimal"/><HlCChar attribute="Char"/><DetectChar char='"' attribute="String" context="Quoted String"/><StringDetect String="--" attribute="Comment" context="Documentation"/></context><context name="Documentation" attribute="Comment" lineEndContext="#pop"><DetectSpaces/><IncludeRules context="##Comments"/><DetectIdentifier/></context><context name="Quoted String" attribute="String" lineEndContext="#pop"><DetectChar char='"' attribute="String" context="#pop"/></context></contexts><itemDatas><itemData name="Normal Text" defStyleNum="dsNormal"/><itemData name="Keyword" defStyleNum="dsKeyword"/><itemData name="Predefined entities" defStyleNum="dsConstant"/><itemData name="Assertions" defStyleNum="dsOthers"/><itemData name="Decimal" defStyleNum="dsDecVal"/><itemData name="Float" defStyleNum="dsFloat"/><itemData name="Char" defStyleNum="dsChar"/><itemData name="String" defStyleNum="dsString"/><itemData name="Comment" defStyleNum="dsComment"/></itemDatas></highlighting><general><comments><comment name="singleLine" start="--" position="afterwhitespace"/></comments><keywords casesensitive="1"/></general></language>