X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTParser.mly;h=313636c80d13327489bf4c8ade0da24f500496ef;hb=931f10c61b4e3914474955a94a05cf43b5fa2bc0;hp=707b7dd6c22a54e43b169d3c9a07a058aca13918;hpb=210445db4d7f550bbfac3e2db6d0aefcf02b71d4;p=helm.git diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly index 707b7dd6c..313636c80 100644 --- a/helm/ocaml/mathql/mQueryTParser.mly +++ b/helm/ocaml/mathql/mQueryTParser.mly @@ -23,7 +23,7 @@ * http://cs.unibo.it/helm/. */ -/* +/* AUTOR: Ferruccio Guidi */ %{