X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_introduction.tex;fp=helm%2Fmathql%2Fdoc%2Fmathql_introduction.tex;h=0000000000000000000000000000000000000000;hp=73086dba7600f8c749678a020c27a7736ce6cf0a;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex
deleted file mode 100644
index 73086dba7..000000000
--- a/helm/mathql/doc/mathql_introduction.tex
+++ /dev/null
@@ -1,24 +0,0 @@
-\section{Introduction}
-
-This paper presents {\MathQL} version 4 which is the latest version of the
-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}