This commit was manufactured by cvs2svn to create branch 'scripts'.

[helm.git] / helm / ocaml / mathql_interpreter_galax / 2test_use.ml

diff --git a/helm/ocaml/mathql_interpreter_galax/2test_use.ml b/helm/ocaml/mathql_interpreter_galax/2test_use.ml
deleted file mode 100755 (executable)
index 5ce9f63..0000000
--- a/helm/ocaml/mathql_interpreter_galax/2test_use.ml
+++ /dev/null
@@ -1,27 +0,0 @@
-
-
-open Mathql_semantics;;
-open MathQL;;
-
-(* stampa tutti i documenti che fanno match con un pattern di input *)
-List.iter
- (function atturi -> print_endline ("output: " ^ atturi))
- (match Mqint.execute
-  (MQList
-  (MQUse
-   (MQPattern
-    (
-     Some "cic",
-    [MQBD;MQBC "Algebra"; MQBD; MQBC "Basics"; MQBD; MQBC"NEG_anti_convert.con"],
-   (* [MQBSS; MQBC ".con"],*)
-     []
-    ),   
-   "pippo")
-   )
-  ) with MQRefs l -> l 
- );
-
-
-
-;;
-