• 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
why3extract.ml 7.4 KB