-
Glen Mével authored
reorganize sections: put reminder of syntax just before description of code, lift queue.{spec,impl,proof} up by 1 level
9c0889e8
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
reorganize sections: put reminder of syntax just before description of code, lift queue.{spec,impl,proof} up by 1 level