why3ide-doc.conf 1.03 KB