]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql.tex
updating and structuring
[helm.git] / helm / mathql / doc / mathql.tex
index 62d3954435f3a9ec0a01a601811612d2b83612d7..1dde6905fe32bfff176a73f61bb31ede7c80a081 100644 (file)
@@ -8,7 +8,7 @@
 \addtolength{\textwidth}{2.0cm}
 \addtolength{\topmargin}{-1.0cm}
 
-\title{MathQL-1.4}
+\title{MathQL-1 Version 4\\Reference Documentation}
 \author{Ferruccio Guidi}
 
 \bibliographystyle{numeric}