summaryrefslogtreecommitdiffstats
path: root/kate/data/magma.xml
diff options
context:
space:
mode:
Diffstat (limited to 'kate/data/magma.xml')
-rw-r--r--kate/data/magma.xml194
1 files changed, 97 insertions, 97 deletions
diff --git a/kate/data/magma.xml b/kate/data/magma.xml
index 80a7521da..a2fe461af 100644
--- a/kate/data/magma.xml
+++ b/kate/data/magma.xml
@@ -7,107 +7,107 @@
extensions="*.m;*.mag">
<highlighting>
<list name="keywords">
- <item> and </item>
- <item> assert </item>
- <item> assigned </item>
- <item> attributes </item>
- <item> break </item>
- <item> by </item>
- <item> case </item>
- <item> cat </item>
- <item> cmpeq </item>
- <item> cmpne </item>
- <item> continue </item>
- <item> declare </item>
- <item> delete </item>
- <item> diff </item>
- <item> div </item>
- <item> do </item>
- <item> else </item>
- <item> elif </item>
- <item> end </item>
- <item> eq </item>
- <item> error </item>
- <item> exists </item>
- <item> false </item>
- <item> for </item>
- <item> forall </item>
- <item> forward </item>
- <item> freeze </item>
- <item> function </item>
- <item> ge </item>
- <item> gt </item>
- <item> if </item>
- <item> import </item>
- <item> in </item>
- <item> intrinsic </item>
- <item> join </item>
- <item> le </item>
- <item> lt </item>
- <item> max </item>
- <item> meet </item>
- <item> min </item>
- <item> mod </item>
- <item> ne </item>
- <item> not </item>
- <item> or </item>
- <item> procedure </item>
- <item> quit </item>
- <item> repeat </item>
- <item> require </item>
- <item> requirege </item>
- <item> requirerange </item>
- <item> return </item>
- <item> sdiff </item>
- <item> select </item>
- <item> then </item>
- <item> time </item>
- <item> to </item>
- <item> true </item>
- <item> until </item>
- <item> verbose </item>
- <item> vprint </item>
- <item> vtime </item>
- <item> when </item>
- <item> while </item>
- <item> xor </item>
+ <item>and</item>
+ <item>assert</item>
+ <item>assigned</item>
+ <item>attributes</item>
+ <item>break</item>
+ <item>by</item>
+ <item>case</item>
+ <item>cat</item>
+ <item>cmpeq</item>
+ <item>cmpne</item>
+ <item>continue</item>
+ <item>declare</item>
+ <item>delete</item>
+ <item>diff</item>
+ <item>div</item>
+ <item>do</item>
+ <item>else</item>
+ <item>elif</item>
+ <item>end</item>
+ <item>eq</item>
+ <item>error</item>
+ <item>exists</item>
+ <item>false</item>
+ <item>for</item>
+ <item>forall</item>
+ <item>forward</item>
+ <item>freeze</item>
+ <item>function</item>
+ <item>ge</item>
+ <item>gt</item>
+ <item>if</item>
+ <item>import</item>
+ <item>in</item>
+ <item>intrinsic</item>
+ <item>join</item>
+ <item>le</item>
+ <item>lt</item>
+ <item>max</item>
+ <item>meet</item>
+ <item>min</item>
+ <item>mod</item>
+ <item>ne</item>
+ <item>not</item>
+ <item>or</item>
+ <item>procedure</item>
+ <item>quit</item>
+ <item>repeat</item>
+ <item>require</item>
+ <item>requirege</item>
+ <item>requirerange</item>
+ <item>return</item>
+ <item>sdiff</item>
+ <item>select</item>
+ <item>then</item>
+ <item>time</item>
+ <item>to</item>
+ <item>true</item>
+ <item>until</item>
+ <item>verbose</item>
+ <item>vprint</item>
+ <item>vtime</item>
+ <item>when</item>
+ <item>while</item>
+ <item>xor</item>
</list>
<list name="types">
- <item> Booleans </item>
- <item> EllipticCurve </item>
- <item> ExtensionField </item>
- <item> FiniteField </item>
- <item> GF </item>
- <item> HyperellipticCurve </item>
- <item> Integers </item>
- <item> Jacobian </item>
- <item> PolynomialRing </item>
- <item> Rationals </item>
- <item> RealField </item>
+ <item>Booleans</item>
+ <item>EllipticCurve</item>
+ <item>ExtensionField</item>
+ <item>FiniteField</item>
+ <item>GF</item>
+ <item>HyperellipticCurve</item>
+ <item>Integers</item>
+ <item>Jacobian</item>
+ <item>PolynomialRing</item>
+ <item>Rationals</item>
+ <item>RealField</item>
</list>
<list name="directives">
- <item> AddAttribute </item>
- <item> AssignNames </item>
- <item> Attach </item>
- <item> AttachSpec </item>
- <item> CoveringStructure </item>
- <item> Cputime </item>
- <item> Detach </item>
- <item> DetachSpec </item>
- <item> ElementType </item>
- <item> ExistsCoveringStructure </item>
- <item> ExtendedType </item>
- <item> GetAttributes </item>
- <item> GetSeed </item>
- <item> ISA </item>
- <item> IsCoercible </item>
- <item> IsIntrinsic </item>
- <item> ListAttributes </item>
- <item> MakeType </item>
- <item> Random </item>
- <item> Realtime </item>
- <item> SetSeed </item>
- <item> Type </item>
+ <item>AddAttribute</item>
+ <item>AssignNames</item>
+ <item>Attach</item>
+ <item>AttachSpec</item>
+ <item>CoveringStructure</item>
+ <item>Cputime</item>
+ <item>Detach</item>
+ <item>DetachSpec</item>
+ <item>ElementType</item>
+ <item>ExistsCoveringStructure</item>
+ <item>ExtendedType</item>
+ <item>GetAttributes</item>
+ <item>GetSeed</item>
+ <item>ISA</item>
+ <item>IsCoercible</item>
+ <item>IsIntrinsic</item>
+ <item>ListAttributes</item>
+ <item>MakeType</item>
+ <item>Random</item>
+ <item>Realtime</item>
+ <item>SetSeed</item>
+ <item>Type</item>
</list>
<contexts>
<context attribute="Normal Text" lineEndContext="#stay" name="Normal">