Removed \subset syntax, keep \subseteq.

rlepigre · Mar 3, 2018 · c542a86 · c542a86
1 parent ce081db
commit c542a86
Show file tree

Hide file tree

Showing 32 changed files with 12,948 additions and 12,877 deletions.
diff --git a/docs/mode/subml/subml.js b/docs/mode/subml/subml.js
@@ -140,7 +140,7 @@ CodeMirror.defineMode("subml", function(_config, modeConfig) {
       "\u03BB" /* lambda */, "\u03BC" /* mu */, "\u03BD" /* nu */,
       "\u2200" /* forall */, "\u2203" /* exists */, "\u2192" /* arrow */,
       "\u00d7" /* times */, "\u2286" /* subseteq */, "\u03B5" /* epsilon */,
-      "\u221E" /* infinity */
+      "\u221E" /* infinity */, "\u2026" /* elipsis */
     );
 
     var override = modeConfig.overrideKeywords;

diff --git a/docs/ocamldoc/Parser.html b/docs/ocamldoc/Parser.html
@@ -112,6 +112,7 @@ <h3 id="3_Youguessedit">                          You guessed it
 <pre><span id="VALeps"><span class="keyword">val</span> eps</span> : <code class="type">unit Earley.grammar</code></pre>
 <pre><span id="VALkuvar"><span class="keyword">val</span> kuvar</span> : <code class="type">unit Earley.grammar</code></pre>
 <pre><span id="VALouvar"><span class="keyword">val</span> ouvar</span> : <code class="type">unit Earley.grammar</code></pre>
+<pre><span id="VALdots"><span class="keyword">val</span> dots</span> : <code class="type">unit Earley.grammar</code></pre>
 <pre><span id="VALmem"><span class="keyword">val</span> mem</span> : <code class="type">bool Earley.grammar</code></pre>
 <pre><span id="VALis_rec"><span class="keyword">val</span> is_rec</span> : <code class="type">bool Earley.grammar</code></pre>
 <pre><span id="VALenables"><span class="keyword">val</span> enables</span> : <code class="type">bool Earley.grammar</code></pre>

diff --git a/docs/ocamldoc/html.stamp b/docs/ocamldoc/html.stamp
@@ -1 +1 @@
-646040d19fdfb6a82139b419c978ef6c
+9ee575eccab808877ce6d055fc660f85
diff --git a/docs/ocamldoc/index_values.html b/docs/ocamldoc/index_values.html
@@ -285,6 +285,8 @@ <h1>Index of values</h1>
     if t is an epsilon or a definition.
 </div>
 </td></tr>
+<tr><td><a href="Parser.html#VALdots">dots</a> [<a href="Parser.html">Parser</a>]</td>
+<td></td></tr>
 <tr><td align="left"><br>E</td></tr>
 <tr><td><a href="Graph.html#VALedge">edge</a> [<a href="Graph.html">Graph</a>]</td>
 <td><div class="info">