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

NAME

6       why3doc - format Why3 theories in HTML
7

SYNOPSIS

9       why3doc [OPTIONS] [FILE ...]
10

DESCRIPTION

12       Format Why3 theories in HTML for human viewing.
13

OPTIONS

15       -o, --output <dir>
16              Write HTML files to dir.
17
18       -b     Output the HTML body only.
19
20       -help, --help
21              Show a list of options.
22

SEE ALSO

24       why3(1),  why3-cpulimit(1),  why3bench(1),  why3config(1),  why3ide(1),
25       why3ml(1), why3realize(1), why3replayer(1)
26
27
28
29why3                                 1.3.3                          WHY3DOC(1)
Impressum