X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.ml;h=2de8179327db4825a7cb6636122f0c41f23748f4;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git diff --git a/helm/ocaml/mathql/mQueryUtil.ml b/helm/ocaml/mathql/mQueryUtil.ml index e4a29ffcf..2de817932 100644 --- a/helm/ocaml/mathql/mQueryUtil.ml +++ b/helm/ocaml/mathql/mQueryUtil.ml @@ -23,8 +23,8 @@ * http://cs.unibo.it/helm/. *) -(* AUTOR: Ferruccio Guidi - *) +(* + *) (* text linearization and parsing *******************************************)