X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_introduction.tex;h=73086dba7600f8c749678a020c27a7736ce6cf0a;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=d243ca901b26be3c635ae6420a1d6b0b419dd18b;hpb=1c84c6e1df257ad284a256ee0c2c1a203f81b713;p=helm.git

diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex
index d243ca901..73086dba7 100644
--- a/helm/mathql/doc/mathql_introduction.tex
+++ b/helm/mathql/doc/mathql_introduction.tex
@@ -1,6 +1,24 @@
 \section{Introduction}
 
 This paper presents {\MathQL} version 4 which is the latest version of the
-language, fully developed by Ferruccio Guidi.  
+language, fully developed by the Author.
 For a description of the previous versions of {\MathQL} see: \cite{Gui03}
 (version 3), \cite{GS03} (version 2), \cite{Lor02} (version 1).
+The main novelties of this version are the elimination of some cast operators
+(producing a substantial simplification in the query structure and semantics),
+a clear distinction between the core language and the auxiliary functions of
+the basic library, a support for query generating functions, the possibility
+of extending the language adding new libraries of functions and a more uniform
+textual syntax. 
+{\MathQL}.4 incorporates the features of {\MathQL}.3 not documented on paper%
+\footnote
+{See the ``what's new'' section of {\MathQL} Web Site:
+\CURI{helm.cs.unibo.it/mathql}.}
+and adds some new features improving {\MathQL} capabilities to post-process
+the query results.  
+
+\input{mathql_introduction_avsets}
+\input{mathql_introduction_property}
+\input{mathql_introduction_core}
+\input{mathql_introduction_basic}
+\input{mathql_introduction_textual}