mirror of
https://github.com/MidnightCommander/source.git
synced 2026-02-02 11:11:55 -08:00
130 lines
8.1 KiB
HTML
130 lines
8.1 KiB
HTML
<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
|
|
<html xmlns='http://www.w3.org/1999/xhtml'>
|
|
<head>
|
|
<title>misc/syntax/ml.syntax</title>
|
|
<meta name='robots' content='noindex,nofollow' />
|
|
<meta name='generator' content='GLOBAL-6.6.11' />
|
|
<meta http-equiv='Content-Style-Type' content='text/css' />
|
|
<link rel='stylesheet' type='text/css' href='../style.css' />
|
|
</head>
|
|
<body>
|
|
<!-- beginning of fixed guide -->
|
|
<div id='guide'><ul>
|
|
<li><a href='#TOP'><img class='icon' src='../icons/first.png' alt='[^]' /></a></li>
|
|
<li><a href='#BOTTOM'><img class='icon' src='../icons/last.png' alt='[v]' /></a></li>
|
|
<li><a href='#TOP'><img class='icon' src='../icons/top.png' alt='[top]' /></a></li>
|
|
<li><a href='#BOTTOM'><img class='icon' src='../icons/bottom.png' alt='[bottom]' /></a></li>
|
|
<li><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a></li>
|
|
<li><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a></li>
|
|
<li class='standout'><span><a href='../files/misc.html'>misc</a>/<a href='../files/misc--syntax.html'>syntax</a>/ml.syntax</span></li>
|
|
</ul></div>
|
|
<!-- end of fixed guide -->
|
|
<div align='right'>Manual pages:
|
|
<a href=man/mc.html>mc</a> • <a href=man/mcdiff.html>mcdiff</a> • <a href=man/mcedit.html>mcedit</a> • <a href=man/mcview.html>mcview</a>
|
|
</div>
|
|
<a id='TOP' name='TOP'></a><h2 class='header'><a href='../mains.html'>root</a>/<a href='../files/misc.html'>misc</a>/<a href='../files/misc--syntax.html'>syntax</a>/ml.syntax</h2>
|
|
<em class='comment'>/* <img class='icon' src='../icons/n_left.png' alt='[previous]' /><img class='icon' src='../icons/n_right.png' alt='[next]' /><img class='icon' src='../icons/n_first.png' alt='[first]' /><img class='icon' src='../icons/n_last.png' alt='[last]' /><img class='icon' src='../icons/n_top.png' alt='[top]' /><a href='#BOTTOM'><img class='icon' src='../icons/bottom.png' alt='[bottom]' /></a><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a> <input type='text' readonly onfocus='this.select();' value='+1 misc/syntax/ml.syntax' /> */</em>
|
|
<hr />
|
|
<pre>
|
|
<a id='L1' name='L1'></a>##################################################################################
|
|
<a id='L2' name='L2'></a># ML (CamlLight) syntax hilighting by Carlos Rodrigues <a9566@lei.di.fct.unl.pt> #
|
|
<a id='L3' name='L3'></a>##################################################################################
|
|
<a id='L4' name='L4'></a>
|
|
<a id='L5' name='L5'></a>context default
|
|
<a id='L6' name='L6'></a> keyword whole and yellow
|
|
<a id='L7' name='L7'></a> keyword whole as yellow
|
|
<a id='L8' name='L8'></a> keyword whole begin yellow
|
|
<a id='L9' name='L9'></a> keyword whole do yellow
|
|
<a id='L10' name='L10'></a> keyword whole done yellow
|
|
<a id='L11' name='L11'></a> keyword whole downto yellow
|
|
<a id='L12' name='L12'></a> keyword whole else yellow
|
|
<a id='L13' name='L13'></a> keyword whole end yellow
|
|
<a id='L14' name='L14'></a> keyword whole exception yellow
|
|
<a id='L15' name='L15'></a> keyword whole for yellow
|
|
<a id='L16' name='L16'></a> keyword whole fun yellow
|
|
<a id='L17' name='L17'></a> keyword whole function yellow
|
|
<a id='L18' name='L18'></a> keyword whole if yellow
|
|
<a id='L19' name='L19'></a> keyword whole in yellow
|
|
<a id='L20' name='L20'></a> keyword whole let yellow
|
|
<a id='L21' name='L21'></a> keyword whole match yellow
|
|
<a id='L22' name='L22'></a> keyword whole mutable yellow
|
|
<a id='L23' name='L23'></a> keyword whole not yellow
|
|
<a id='L24' name='L24'></a> keyword whole of yellow
|
|
<a id='L25' name='L25'></a> keyword whole or yellow
|
|
<a id='L26' name='L26'></a> keyword whole prefix yellow
|
|
<a id='L27' name='L27'></a> keyword whole rec yellow
|
|
<a id='L28' name='L28'></a> keyword whole then yellow
|
|
<a id='L29' name='L29'></a> keyword whole to yellow
|
|
<a id='L30' name='L30'></a> keyword whole try yellow
|
|
<a id='L31' name='L31'></a> keyword whole type yellow
|
|
<a id='L32' name='L32'></a> keyword whole value yellow
|
|
<a id='L33' name='L33'></a> keyword whole where yellow
|
|
<a id='L34' name='L34'></a> keyword whole while yellow
|
|
<a id='L35' name='L35'></a> keyword whole mod yellow
|
|
<a id='L36' name='L36'></a> keyword whole with yellow
|
|
<a id='L37' name='L37'></a> keyword whole true yellow
|
|
<a id='L38' name='L38'></a> keyword whole false yellow
|
|
<a id='L39' name='L39'></a>
|
|
<a id='L40' name='L40'></a> keyword (\* brown
|
|
<a id='L41' name='L41'></a> keyword \*) brown
|
|
<a id='L42' name='L42'></a>
|
|
<a id='L43' name='L43'></a> keyword `\s` brightcyan
|
|
<a id='L44' name='L44'></a> keyword `+` brightcyan
|
|
<a id='L45' name='L45'></a> keyword > cyan
|
|
<a id='L46' name='L46'></a> keyword <> cyan
|
|
<a id='L47' name='L47'></a> keyword < cyan
|
|
<a id='L48' name='L48'></a> keyword . cyan
|
|
<a id='L49' name='L49'></a> keyword -> brightgreen
|
|
<a id='L50' name='L50'></a> keyword <- cyan
|
|
<a id='L51' name='L51'></a> keyword \+ cyan
|
|
<a id='L52' name='L52'></a> keyword - cyan
|
|
<a id='L53' name='L53'></a> keyword \* cyan
|
|
<a id='L54' name='L54'></a> keyword / cyan
|
|
<a id='L55' name='L55'></a> keyword % cyan
|
|
<a id='L56' name='L56'></a> keyword = cyan
|
|
<a id='L57' name='L57'></a> keyword | cyan
|
|
<a id='L58' name='L58'></a> keyword # cyan
|
|
<a id='L59' name='L59'></a> keyword @ cyan
|
|
<a id='L60' name='L60'></a> keyword ^ cyan
|
|
<a id='L61' name='L61'></a> keyword { cyan
|
|
<a id='L62' name='L62'></a> keyword } cyan
|
|
<a id='L63' name='L63'></a> keyword ( cyan
|
|
<a id='L64' name='L64'></a> keyword ) cyan
|
|
<a id='L65' name='L65'></a> keyword [ cyan
|
|
<a id='L66' name='L66'></a> keyword ] cyan
|
|
<a id='L67' name='L67'></a> keyword , cyan
|
|
<a id='L68' name='L68'></a> keyword : cyan
|
|
<a id='L69' name='L69'></a> keyword & cyan
|
|
<a id='L70' name='L70'></a>
|
|
<a id='L71' name='L71'></a> keyword wholeright ;; brightred
|
|
<a id='L72' name='L72'></a> keyword wholeright ; brightred
|
|
<a id='L73' name='L73'></a>
|
|
<a id='L74' name='L74'></a> keyword ; cyan
|
|
<a id='L75' name='L75'></a>
|
|
<a id='L76' name='L76'></a>context exclusive (\* \*) brown
|
|
<a id='L77' name='L77'></a>
|
|
<a id='L78' name='L78'></a> keyword \\\n yellow
|
|
<a id='L79' name='L79'></a> keyword "+" brown
|
|
<a id='L80' name='L80'></a> keyword <+> brown
|
|
<a id='L81' name='L81'></a>
|
|
<a id='L82' name='L82'></a>context " " brightcyan
|
|
<a id='L83' name='L83'></a> keyword \\" brightmagenta
|
|
<a id='L84' name='L84'></a> keyword \\n brightmagenta
|
|
<a id='L85' name='L85'></a> keyword %% brightmagenta
|
|
<a id='L86' name='L86'></a> keyword %\[#0\s-\+,\]\[0123456789\]\[.\]\[0123456789\]\[L\]\{eEfgGoxX\} brightmagenta
|
|
<a id='L87' name='L87'></a> keyword %\[0\s-\+,\]\[0123456789\]\[.\]\[0123456789\]\[hl\]\{diuxX\} brightmagenta
|
|
<a id='L88' name='L88'></a> keyword %\[hl\]n brightmagenta
|
|
<a id='L89' name='L89'></a> keyword %\[.\]\[0123456789\]s brightmagenta
|
|
<a id='L90' name='L90'></a> keyword %[*] brightmagenta
|
|
<a id='L91' name='L91'></a> keyword %c brightmagenta
|
|
<a id='L92' name='L92'></a> keyword \\\{0123\}\{01234567\}\{01234567\} brightmagenta
|
|
<a id='L93' name='L93'></a> keyword \\\\ brightmagenta
|
|
<a id='L94' name='L94'></a> keyword \\' brightmagenta
|
|
<a id='L95' name='L95'></a> keyword \\\{abtnvfr\} brightmagenta
|
|
</pre>
|
|
<hr />
|
|
<a id='BOTTOM' name='BOTTOM'></a>
|
|
<em class='comment'>/* <img class='icon' src='../icons/n_left.png' alt='[previous]' /><img class='icon' src='../icons/n_right.png' alt='[next]' /><img class='icon' src='../icons/n_first.png' alt='[first]' /><img class='icon' src='../icons/n_last.png' alt='[last]' /><a href='#TOP'><img class='icon' src='../icons/top.png' alt='[top]' /></a><img class='icon' src='../icons/n_bottom.png' alt='[bottom]' /><a href='../mains.html'><img class='icon' src='../icons/index.png' alt='[index]' /></a><a href='../help.html'><img class='icon' src='../icons/help.png' alt='[help]' /></a> <input type='text' readonly onfocus='this.select();' value='+95 misc/syntax/ml.syntax' /> */</em>
|
|
</body>
|
|
</html>
|