src/mlw/pmodule.ml · e5062571d24cb71ad26b41a891d8eb6891f05a0b · Why3 / why3

Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Andrei Paskevich authored Jun 06, 2017

This allows to import an existing scope to the current namespace.
Not sure if we need this in the surface language, though.

e5062571

pmodule.ml 45.6 KB