Mentions légales du service

Skip to content

Move "--list-*" options to a dedicated "why3 show" tool.

Guillaume Melquiond requested to merge why3-show into master

Option --list-provers is actually moved to why3 config, as it seems better suited.

Merge request reports