# HG changeset patch # User wenzelm # Date 1224712360 -7200 # Node ID 6df5642a2204f4805c850973c631265cfae3bb8d # Parent 19160c63b4d1e9437677be3587a1256c3df746c4 a version of Dixon's ML mode with less ambitious indentation; diff -r 19160c63b4d1 -r 6df5642a2204 src/Tools/jEdit/dist-template/modes/ml.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/jEdit/dist-template/modes/ml.xml Wed Oct 22 23:52:40 2008 +0200 @@ -0,0 +1,211 @@ + + + + + + + + + + + + + + + + + + + (* + *) + + + + + #" + " + + + + + " + " + + + + + + / + * + + + + + - + ^ + @ + = + < + > + ( + ) + [ + ] + { + } + , + : + ; + | + # + + + fun + val + exception + + type + abstype + eqtype + datatype + + functor + structure + signature + + + + + + + div + mod + + + o + + + before + + + abstype + datatype + eqtype + type + + + exception + fun + val + fn + + + and + end + in + infix + infixr + let + local + as + of + op + + + functor + include + open + sharing + sig + signature + struct + structure + where + with + + + andalso + orelse + else + if + case + handle + raise + then + + + do + nonfix + rec + withtype + while + + + array + bool + char + exn + frag + int + list + option + order + real + ref + string + substring + unit + vector + word + word8 + + + Bind + Chr + Domain + Div + Fail + Graphic + Interrupt + Io + Match + Option + Ord + Overflow + Size + Subscript + SysErr + + + false + true + QUOTE + ANTIQUOTE + nil + NONE + SOME + LESS + EQUAL + GREATER + + + + \ No newline at end of file