• 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
Makefile.in 66.4 KB