X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.mli;h=649b548547fd073bfe984c7fd9dd3926d554d588;hb=5f2de2d1d6c8520e39c1c3793a4c2776dcf7c7c1;hp=7eff1b4b45fef8a558cd6e8e941d73a6d1f8af53;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 7eff1b4b4..649b54854 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -23,6 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
 type flag = Postgres | Galax | Stat | Quiet | Warn | Log 
 
 val string_of_flags : flag list -> string
@@ -40,7 +43,10 @@ val init_if_connected : flag list -> (string -> unit) -> handle
  * For exclusive use of the interpreter.  
  *)
 
-val log   : handle -> string -> unit
-val set   : handle -> flag -> bool   
-val pgc   : handle -> Postgres.connection option
-val flags : handle -> flag list  
+val log     : handle -> string -> unit
+val set     : handle -> flag -> bool   
+val pgc     : handle -> Postgres.connection option
+val flags   : handle -> flag list  
+val tables  : handle -> MathQL.path -> MQIMap.pg_tables
+val field   : handle -> MathQL.path -> string -> string
+val resolve : handle -> string -> string