From 9e009810423a1e103331eb483a0b37bd3b313410 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 3 Dec 2019 16:28:47 +0100
Subject: [PATCH] [doc/developer] add changelog for release 20.0; minor updates

---
 doc/developer/changes.tex      | 5 +++++
 doc/developer/introduction.tex | 4 ++--
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/doc/developer/changes.tex b/doc/developer/changes.tex
index 336f8b67665..ba27c451541 100644
--- a/doc/developer/changes.tex
+++ b/doc/developer/changes.tex
@@ -5,6 +5,11 @@
 This chapter summarizes the major changes in this documentation between each
 \framac release, from newest to oldest.
 
+\section*{20.0 Calcium}
+\begin{itemize}
+\item \textbf{Ptests}: Documentation of the new directive \texttt{MODULE}.
+\end{itemize}
+
 \section*{19.0 Potassium}
 \begin{itemize}
 \item \textbf{ACSL Extension}: Document new \texttt{status} flag for registration functions
diff --git a/doc/developer/introduction.tex b/doc/developer/introduction.tex
index 57ec7e7c439..1415aa6781a 100644
--- a/doc/developer/introduction.tex
+++ b/doc/developer/introduction.tex
@@ -35,8 +35,8 @@ of the \framac development.
 language~\cite{caml}. Motivations for this choice are given in a \framac
 experience report~\cite{framac-experience}. However this guide \emph{does not}
 provide any introduction to this programming language: the World Wide Web
-already contains plenty resources for \caml developers (see for instance
-\url{http://caml.inria.fr/resources/doc/index.en.html}).
+already contains plenty of resources for \caml developers (see for instance
+\url{https://ocaml.org/}).
 
 \section{About this document}
 
-- 
GitLab