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 :

  • Sylvain Dailler's avatar
    Third commit. For saving. · ee0cf016
    Sylvain Dailler authored
    Change many function from gconfig.ml to remove ref to Whyconf.
    Add protocol file.
    Add whats needed in an adhoc way.
    Need cleaning. Compile but fails.
gconfig.mli 4.63 KB