# 16. Full list of legacy command-line options {#sec-full-command-line-options} <!-- PDFOMIT -->
For the on-line version only, the output of `dafny -?` follows. Note that with the advent of [dafny commands](#sec-dafny-commands), many options are only applicable to some (if any) commands, some are renamed, and some are obsolete and will eventually be removed. <!--PDFOMIT-->
{% include_relative Options.txt %} <!-- PDFOMIT -->
