Skip to content
Snippets Groups Projects
Commit f95431e4 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[developer] fix version in Changes

parent afc0ddcb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/developer/changes.tex
+ 1
− 1
View file @ f95431e4
...@@ -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*{19.0 Potassium}
\begin{itemize} \begin{itemize}
\item \textbf{ACSL Extension}: Document new \texttt{status} flag for registration functions \item \textbf{ACSL Extension}: Document new \texttt{status} flag for registration functions
\item \textbf{Testing}: Document of usage \texttt{@@} in a directive \item \textbf{Testing}: Document of usage \texttt{@@} in a directive
......
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