helm/ocaml/mathql/mQueryHTML.ml

   1 (* raw HTML representation **************************************************)
   2
   3 let key s = "<font color=\"blue\">" ^ s ^ " </font>"
   4
   5 let sub s = "<font color=\"blue\"> " ^ s ^ " </font>"
   6
   7 let sub2 s = "<font color=\"blue\">" ^ s ^ "</font>"
   8
   9 let sym s = s
  10
  11 let sep s = s
  12
  13 let str s = "<font color=\"red\">'" ^ s ^ "'</font>"
  14
  15 let pat s = "<font color=\"red\">\"" ^ s ^ "\"</font>"
  16
  17 let res s = "<font color=\"brown\">\"" ^ s ^ "\"</font>"
  18
  19 let nl () = "<br>\n"
  20
  21 let par () = "<p>\n"