Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 2465765b authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

New release.

parent ce9c93c2
Pipeline #260379 passed with stages
in 19 minutes and 50 seconds
Version 4.3.0
-------------
* ensured compatibility from Coq 8.8 to 8.14
* made reification unfold transparent constants
* added reification of `Q2R` and thus of rational literals
Version 4.2.0
-------------
* added tactic `plot` for computing a function graph
* added command `Plot` for passing a function graph to Gnuplot
* added command `Plot` for passing a function graph to Gnuplot (requires Coq >= 8.11)
Version 4.1.1
-------------
......
AC_INIT([Interval], [4.2.0],
AC_INIT([Interval], [4.3.0],
[Guillaume Melquiond <guillaume.melquiond@inria.fr>],
[interval])
......
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