why3ide-doc.conf 1.08 KB