Allow starting coq from Frama-C GUI also for proven obligations (#1197) · Issues · pub / frama-c