• 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
    241961df
Name
Last commit
Last update
..
bigInt.ml Loading commit data...
bigInt.mli Loading commit data...
cmdline.ml Loading commit data...
cmdline.mli Loading commit data...
debug.ml Loading commit data...
debug.mli Loading commit data...
exn_printer.ml Loading commit data...
exn_printer.mli Loading commit data...
exthtbl.ml Loading commit data...
exthtbl.mli Loading commit data...
extmap.ml Loading commit data...
extmap.mli Loading commit data...
extset.ml Loading commit data...
extset.mli Loading commit data...
hashcons.ml Loading commit data...
hashcons.mli Loading commit data...
lists.ml Loading commit data...
lists.mli Loading commit data...
loc.ml Loading commit data...
loc.mli Loading commit data...
number.ml Loading commit data...
number.mli Loading commit data...
opt.ml Loading commit data...
opt.mli Loading commit data...
plugin.ml Loading commit data...
plugin.mli Loading commit data...
pp.ml Loading commit data...
pp.mli Loading commit data...
pqueue.ml Loading commit data...
pqueue.mli Loading commit data...
print_tree.ml Loading commit data...
print_tree.mli Loading commit data...
rc.mli Loading commit data...
rc.mll Loading commit data...
stdlib.ml Loading commit data...
stdlib.mli Loading commit data...
strings.ml Loading commit data...
strings.mli Loading commit data...
sysutil.ml Loading commit data...
sysutil.mli Loading commit data...
util.ml Loading commit data...
util.mli Loading commit data...
warning.ml Loading commit data...
warning.mli Loading commit data...
weakhtbl.ml Loading commit data...
weakhtbl.mli Loading commit data...