Mentions légales du service

Skip to content

Make why3-mode a major mode derived from prog-mode.

Guillaume Melquiond requested to merge why3-mode into master

Pointed out by Quentin Aristote.

Merge request reports