introduction updated

diff --git a/helm/mathql/doc/mathql_introduction.tex b/helm/mathql/doc/mathql_introduction.tex
index c006e85c5a93fb44ee9becf5b5ab74c8fe993aef..a989a5ece5d52792ad4b9df2a518db45da3faeb7 100644 (file)
--- a/helm/mathql/doc/mathql_introduction.tex
+++ b/helm/mathql/doc/mathql_introduction.tex
@@ -4,6 +4,18 @@ This paper presents {\MathQL} version 4 which is the latest version of the
 language, fully developed by Ferruccio Guidi.  
 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,
+see \secref{Operational}), 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:
+\URI{helm.cs.unibo.it/mathql}.}
+and adds some new features improving {\MathQL} capabilities to post-process
+the query results.  
 
 \subsection{Textual syntax}
 

diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty
index 569f86dc824dac9229ab0931b4aa55f7472a4cb5..a6701208e26d84d6f746715169becb094e8bbda5 100644 (file)
--- a/helm/mathql/doc/mathql_macros.sty
+++ b/helm/mathql/doc/mathql_macros.sty
@@ -1,5 +1,6 @@
 \usepackage{fguidi-defs} 
 
+\newcommand{\secref}[1]{Section~\ref{#1}}
 \newcommand{\subsecref}[1]{Subsection~\ref{#1}}
 \newcommand{\figref}[1]{Figure~\ref{#1}}
 

diff --git a/helm/mathql/doc/mathql_operational.tex b/helm/mathql/doc/mathql_operational.tex
index a1cbe954ab70c4705b33976449a35b6ba8cf6a50..f37225073a5aa8eb29a240286c36c863cad79d17 100644 (file)
--- a/helm/mathql/doc/mathql_operational.tex
+++ b/helm/mathql/doc/mathql_operational.tex
@@ -1,4 +1,4 @@
-\section {Operational semantics}
+\section {Operational semantics} \label {Operational}
 
 This section describes {\MathQL} semantics, that we present in a natural
 operational style \cite{Lan98,Win93}.