-
Johannes Kanig authored
For the moment, new API functions are introduced. If existing API functions are called, the why3server is not used.
98f2682f
For the moment, new API functions are introduced. If existing API functions are called, the why3server is not used.