# 16. Full list of legacy command-line options {#sec-full-command-line-options} 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. {% include_relative Options.txt %}