Commit 9de1b7e7 authored by MARCHE Claude's avatar MARCHE Claude

Doc: started a section on syntax changes between 0.87 and 0.90

parent e87fe95e
# Why version # Why version
VERSION=0.86+git VERSION=0.90+git
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, May 2015 Version \whyversion{}, Month? 2016
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %END LATEX
...@@ -141,7 +141,7 @@ $^2$ Inria Saclay -- \^Ile-de-France, Palaiseau, F-91120 ...@@ -141,7 +141,7 @@ $^2$ Inria Saclay -- \^Ile-de-France, Palaiseau, F-91120
\bigskip \bigskip
%END LATEX %END LATEX
\textcopyright 2010-2015 University Paris-Sud, CNRS, Inria \textcopyright 2010-2016 University Paris-Sud, CNRS, Inria
\urldef{\urlutcat}{\url}{http://frama-c.com/u3cat/} \urldef{\urlutcat}{\url}{http://frama-c.com/u3cat/}
\urldef{\urlhilite}{\url}{http://www.open-do.org/projects/hi-lite/} \urldef{\urlhilite}{\url}{http://www.open-do.org/projects/hi-lite/}
...@@ -263,6 +263,19 @@ Thi-Minh-Tuyen Nguyen, Asma Tafat, Piotr Trojanek. ...@@ -263,6 +263,19 @@ Thi-Minh-Tuyen Nguyen, Asma Tafat, Piotr Trojanek.
\chapter{Release Notes} \chapter{Release Notes}
\section{Release Notes for version 0.90: syntax changes w.r.t. 0.87}
\begin{center}
\begin{tabular}{|c|c|}
\hline
0.87 & 0.90 \\
\hline
\texttt{'L:} & \texttt{label L in} \\
\texttt{at !x 'L} & \texttt{!x at L} \\
\hline
\end{tabular}
\end{center}
\section{Release Notes for version 0.80: syntax changes w.r.t. 0.73} \section{Release Notes for version 0.80: syntax changes w.r.t. 0.73}
The syntax of \whyml programs changed in release 0.80. The syntax of \whyml programs changed in release 0.80.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment