1WHY3IDE(1)                       User Commands                      WHY3IDE(1)
2
3
4

NAME

6       why3ide - start the Why3 IDE
7

SYNOPSIS

9       why3ide [OPTIONS] [<FILE.why>|<DIR>]
10

DESCRIPTION

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

OPTIONS

16       -I <dir>
17              Add a directory the load path, used to search for theories.
18
19       -v     Print version information.
20
21       -help, --help
22              Show a list of options.
23

SEE ALSO

25       why3(1),  why3-cpulimit(1),  why3bench(1),  why3config(1),  why3doc(1),
26       why3ml(1), why3realize(1), why3replayer(1)
27
28
29
30why3                                 1.1.1                          WHY3IDE(1)
Impressum