Hello, In my why3 IDE, there is no keyboard shortcut for my installed provers. Instead of a shortcut, I see « VoidSymbol » for each of my provers. Is there a way to define a shortcut for a given prover ?
Best, Sandrine _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club