• Guillaume Melquiond's avatar
    Add support for generic printing of integers and reals. · 1ba8f1a6
    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
Makefile.in 32.1 KB