diff options
Diffstat (limited to 'public/vendor/codemirror/mode/oz/index.html')
-rw-r--r-- | public/vendor/codemirror/mode/oz/index.html | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/public/vendor/codemirror/mode/oz/index.html b/public/vendor/codemirror/mode/oz/index.html deleted file mode 100644 index febd82a5..00000000 --- a/public/vendor/codemirror/mode/oz/index.html +++ /dev/null @@ -1,59 +0,0 @@ -<!doctype html> - -<title>CodeMirror: Oz mode</title> -<meta charset="utf-8"/> -<link rel=stylesheet href="../../doc/docs.css"> - -<link rel="stylesheet" href="../../lib/codemirror.css"> -<script src="../../lib/codemirror.js"></script> -<script src="oz.js"></script> -<script type="text/javascript" src="../../addon/runmode/runmode.js"></script> -<style> - .CodeMirror {border: 1px solid #aaa;} -</style> -<div id=nav> - <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a> - <ul> - <li><a href="../../index.html">Home</a> - <li><a href="../../doc/manual.html">Manual</a> - <li><a href="https://github.com/codemirror/codemirror">Code</a> - </ul> - <ul> - <li><a href="../index.html">Language modes</a> - <li><a class=active href="#">Oz</a> - </ul> -</div> - -<article> -<h2>Oz mode</h2> -<textarea id="code" name="code"> -declare -fun {Ints N Max} - if N == Max then nil - else - {Delay 1000} - N|{Ints N+1 Max} - end -end - -fun {Sum S Stream} - case Stream of nil then S - [] H|T then S|{Sum H+S T} end -end - -local X Y in - thread X = {Ints 0 1000} end - thread Y = {Sum 0 X} end - {Browse Y} -end -</textarea> -<p>MIME type defined: <code>text/x-oz</code>.</p> - -<script type="text/javascript"> -var editor = CodeMirror.fromTextArea(document.getElementById("code"), { - lineNumbers: true, - mode: "text/x-oz", - readOnly: false -}); -</script> -</article> |