why3doc man page

why3doc ā€” format Why3 theories in HTML

Synopsis

why3doc [Options] [FILE ...]

Description

Format Why3 theories in HTML for human viewing.

Options

-o, --output <dir>

Write HTML files to dir.

-b

Output the HTML body only.

-help, --help

Show a list of options.

See Also

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

Referenced By

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

0.87.3 why3 User Commands