Mentions légales du service

Skip to content

Add a [prover_editor] section in why3.conf (fix #689).

Guillaume Melquiond requested to merge fix-689 into master

Merge request reports