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 :

  • MARCHE Claude's avatar
    ITP: transformations with args only take strings as arguments · 63f6b075
    MARCHE Claude authored
    "parsing" of these strings is delayed in the transformations themselves,
    because in case such an argument must be interpreted as a term, the
    task itself is needed do perform name resolution.
    Incidentally, saving transformations with arguments in sessions is not an
    issue anymore
session_itp.mli 4.6 KB