why3ide - Man Page
start the Why3 IDE
Synopsis
why3ide [Options] [<FILE.why>|<DIR>]
Description
Start the Why3 IDE, either loading an initial file, or starting in a given project directory.
Options
- -I <dir>
Add a directory the load path, used to search for theories.
- -v
Print version information.
- -help, ā--help
Show a list of options.
See Also
why3(1), why3-cpulimit(1), why3bench(1), why3config(1), why3doc(1), why3ml(1), why3realize(1), why3replayer(1)
Referenced By
why3(1), why3bench(1), why3config(1), why3-cpulimit(1), why3doc(1), why3ml(1), why3realize(1), why3replayer(1).
1.3.3 why3