]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql/mQueryTParser.mly
This commit was manufactured by cvs2svn to create tag
[helm.git] / helm / ocaml / mathql / mQueryTParser.mly
index 313636c80d13327489bf4c8ade0da24f500496ef..707b7dd6c22a54e43b169d3c9a07a058aca13918 100644 (file)
@@ -23,7 +23,7 @@
  * http://cs.unibo.it/helm/.
  */
 
-/*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+/*
  */ 
 
 %{