-
Guillaume Melquiond authored
Example: bin/why3 ide --batch "type next;view source;type alt-ergo;wait 5;snap foo.png" examples/logic/hello_proof.why
2af4e50a
Example: bin/why3 ide --batch "type next;view source;type alt-ergo;wait 5;snap foo.png" examples/logic/hello_proof.why