why3ide - Man Page

why3ide [Options] [<FILE.why>|<DIR>]

Start the Why3 IDE, either loading an initial file, or starting in a given project directory.

-I <dir>

Add a directory the load path, used to search for theories.

-v

Print version information.

-help,  --help

Show a list of options.

why3(1), why3-cpulimit(1), why3bench(1), why3config(1), why3doc(1), why3ml(1), why3realize(1), why3replayer(1)

why3(1), why3bench(1), why3config(1), why3-cpulimit(1), why3doc(1), why3ml(1), why3realize(1), why3replayer(1).