Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
lib
isabelle
Tools
why3.2015
Find file
Blame
History
Permalink
Adapt to both isabelle 2014 and 2015
· 4e2ea04a
MARCHE Claude
authored
May 29, 2015
Signed-off-by:
Claude Marche
<
Claude.Marche@inria.fr
>
4e2ea04a