Mentions légales du service

Skip to content

Ide pref change

DAILLER Sylvain requested to merge ide_pref_change into master

fix #418 (closed)

Make it possible to manually add provers in the why3.conf (use case: add a different editor for Coq). I mean those provers won't be erased by why3config --detect or editing preferences in the ide. In ide, allow preferences to be changed for the current session.

Merge request reports