X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTLexer.mll;h=b5366af898dee5b67296527806844ece09eeeef7;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=abccb46264d2053927ded64beec8bb60169eefd5;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git diff --git a/helm/ocaml/mathql/mQueryTLexer.mll b/helm/ocaml/mathql/mQueryTLexer.mll index abccb4626..b5366af89 100644 --- a/helm/ocaml/mathql/mQueryTLexer.mll +++ b/helm/ocaml/mathql/mQueryTLexer.mll @@ -23,7 +23,7 @@ * http://cs.unibo.it/helm/. *) -(* AUTOR: Ferruccio Guidi +(* *) {