Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • 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.
    ee0cf016
why3ide.ml 34.7 KB