-
Stefan Berghofer authored
Isabelle2015 is still supported, but support for Isabelle2014 has been discontinued.
f546ae8a
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
Isabelle2015 is still supported, but support for Isabelle2014 has been discontinued.