-
Guillaume Melquiond authored
Prover capabilities are now represented by a record enumerating each case and which syntax to use then. This fixes output of nondecimal integers to provers (bug #12981). TODO: check whether some provers support more than just decimal representations.
1ba8f1a6