From 0b355077f75aa8dc78ef76a77fbb95b5b161644f Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 3 Feb 2003 21:19:35 +0000 Subject: [PATCH 1/1] old file removed --- helm/ocaml/mathql/mQueryHTML.ml | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 helm/ocaml/mathql/mQueryHTML.ml diff --git a/helm/ocaml/mathql/mQueryHTML.ml b/helm/ocaml/mathql/mQueryHTML.ml deleted file mode 100644 index ff6cb1191..000000000 --- a/helm/ocaml/mathql/mQueryHTML.ml +++ /dev/null @@ -1,21 +0,0 @@ -(* raw HTML representation **************************************************) - -let key s = "" ^ s ^ " " - -let sub s = " " ^ s ^ " " - -let sub2 s = "" ^ s ^ "" - -let sym s = s - -let sep s = s - -let str s = "'" ^ s ^ "'" - -let pat s = "\"" ^ s ^ "\"" - -let res s = "\"" ^ s ^ "\"" - -let nl () = "
\n" - -let par () = "

\n" -- 2.39.2