• Johannes Kanig's avatar
    Committing why3server code · 98f2682f
    Johannes Kanig authored
    For the moment, new API functions are introduced. If existing API
    functions are called, the why3server is not used.
    98f2682f
vc_client.c 3.2 KB