Commit 1d61b784 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[doc] Update Frama-C versions

parent a3d91caa
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
This chapter summarizes the major changes in this documentation between each This chapter summarizes the major changes in this documentation between each
\framac release, from newest to oldest. \framac release, from newest to oldest.
\section*{Frama-C+dev} \section*{22.0 Titanium}
\begin{itemize} \begin{itemize}
\item \textbf{Testing}: Document new directives \texttt{TIMEOUT} and \item \textbf{Testing}: Document new directives \texttt{TIMEOUT} and
\texttt{NOFRAMAC} \texttt{NOFRAMAC}
......
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
This chapter summarizes the changes in this documentation between each \FramaC This chapter summarizes the changes in this documentation between each \FramaC
release. First we list changes of the last release. release. First we list changes of the last release.
\section*{\nextframacversion} \section*{22.0 (Titanium)}
\begin{itemize} \begin{itemize}
\item \textbf{Getting Started:} added option \item \textbf{Getting Started:} added option
......
...@@ -147,7 +147,7 @@ in \lstinline|\\at|} ...@@ -147,7 +147,7 @@ in \lstinline|\\at|}
{ {
\section{Changes in \eacsl Implementation} \section{Changes in \eacsl Implementation}
\subsection*{Version \eacslpluginversion} \subsection*{Version Titanium-22}
\begin{itemize} \begin{itemize}
\item \changeinsection{expressions}{support of bitwise operations} \item \changeinsection{expressions}{support of bitwise operations}
......
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
This chapter summarizes the changes in this documentation between each \eacsl This chapter summarizes the changes in this documentation between each \eacsl
release. First we list changes of the last release. release. First we list changes of the last release.
\section*{E-ACSL \eacslpluginversion} \section*{E-ACSL 22.0 Titanium}
\begin{itemize} \begin{itemize}
\item Update every section with changes to \framac and \eacslgcc output \item Update every section with changes to \framac and \eacslgcc output
......
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