• Sylvain Dailler's avatar
    QC06-011 Adapt b18ffc3 for Why3 master · fe261a9b
    Sylvain Dailler authored
    This adapts the ConnectionError exception to output a nice message in Why3
    
    * src/driver/prove_client.ml
    Register the new exception so that it is nicely printed.
    
    Change-Id: I9483fd0bf2561eaed007432b1eb982e7fd086486
    (cherry picked from commit 4df80c1501cf304f1e20981bdb5f6f4e0b258b44)
    fe261a9b
Name
Last commit
Last update
..
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
isabelle-client Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
server Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
config.sh.in Loading commit data...