Toutes petites corrections

Fri, 20 May 2011 01:45:26 +0200

author
Antoine Lubineau <antoine.lubineau@etu.enseeiht.fr>
date
Fri, 20 May 2011 01:45:26 +0200
changeset 10
08280bf887b3
parent 9
484282a8bc80
child 11
f58b68722923

Toutes petites corrections

rapport/rapport.tex file | annotate | diff | revisions
     1.1 --- a/rapport/rapport.tex	Fri May 20 01:41:16 2011 +0200
     1.2 +++ b/rapport/rapport.tex	Fri May 20 01:45:26 2011 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  \usepackage{textcomp}
     1.5  \usepackage{amsmath}
     1.6  \usepackage{tikz}
     1.7 -\usepackage{url}
     1.8 +\usepackage{url,hyperref}
     1.9  
    1.10  \title{{\itshape\large Spécification formelle et validation}\\ Sérialisation de structures de données}
    1.11  \author{Vincent \textsc{Duvert} \and Sanaa \textsc{Essaid} \and Antoine \textsc{Lubineau}}
    1.12 @@ -166,7 +166,7 @@
    1.13  		\end{minted}
    1.14  		\end{multicols}
    1.15  		
    1.16 -		On remarquera que XML est très «verbeux». Si on souhaite avoir une sérialisation textuelle plus compacte, on préférera YAML (\emph{YAML Ain't Markup Language}), ou un un sous-ensemble, JSON (\emph{JavaScript Object Notation}).
    1.17 +		On remarquera que XML est très «verbeux». Si on souhaite avoir une sérialisation textuelle plus compacte, on préférera YAML (\emph{YAML Ain't Markup Language}), ou un sous-ensemble, JSON (\emph{JavaScript Object Notation}).
    1.18  
    1.19  		\subsection{K-formules}
    1.20  
    1.21 @@ -232,6 +232,8 @@
    1.22  
    1.23  		Un inconvénient de cette méthode est qu'elle ne s'applique qu'aux arbres.
    1.24  
    1.25 +	\newpage
    1.26 +
    1.27  	\section{Développement par raffinement}
    1.28  	
    1.29  	\section{Conclusion}

mercurial