diff --git a/lv6-ref-man/lv6-ref-man.tex b/lv6-ref-man/lv6-ref-man.tex index 899383c09add0ff1bd4e293cfd6766c822f83d91..e2ab2e1b34b8e16035205c343a3ca8e8b5d6952f 100644 --- a/lv6-ref-man/lv6-ref-man.tex +++ b/lv6-ref-man/lv6-ref-man.tex @@ -39,7 +39,14 @@ iterators. But the main novelty resides in the introduction of a package mechanism. Readers already familiar with Lustre ought to read directly this chapter. +\section*{nota bene} +This document is the Language Reference Manual. For documentation related to +tools (compiler, etc), please look at: +\begin{itemize} +\item \href{https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/reactive-toolbox}{https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/reactive-toolbox} +\item \href{https://verimag.gricad-pages.univ-grenoble-alpes.fr/vtt/tags/lustre/}{https://verimag.gricad-pages.univ-grenoble-alpes.fr/vtt/tags/lustre/} +\end{itemize} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%