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 :

  • Andrei Paskevich's avatar
    use Whyconf.Args in why3ide and why3doc · 241961df
    Andrei Paskevich authored
    - make Whyconf.Args.initialize return the base config file, too.
      This is needed when we change configuration and want to save it.
    - make Main pass "why3 <command>" as argv[0]
    - remove "-version" options from everything but the main executable
gconfig.ml 40.3 KB