ocaml
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

add builtin xml namespaces: html, mml

+10
+10
lib/compiler/Expand.ml
··· 317 317 let node = Syn.TeX_cs (TeX_cs.Symbol c) in 318 318 path, (Syn.Term [Range.locate_opt None node], None) 319 319 320 + let builtin_xml_namespaces = 321 + List.to_seq 322 + [ 323 + "html", "http://www.w3.org/1999/xhtml"; 324 + "mml", "http://www.w3.org/1998/Math/MathML" 325 + ] 326 + |> Seq.map @@ fun (prefix, xmlns) -> 327 + ["xmlns"; prefix], (Syn.Xmlns {prefix; xmlns}, None) 328 + 320 329 let builtins = 321 330 Seq.concat @@ 322 331 List.to_seq 323 332 [ 333 + builtin_xml_namespaces; 324 334 tex_builtin_words; 325 335 tex_builtin_symbols; 326 336 begin