summaryrefslogtreecommitdiff
path: root/public/vendor/codemirror/mode/oz/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'public/vendor/codemirror/mode/oz/index.html')
-rw-r--r--public/vendor/codemirror/mode/oz/index.html59
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>