Why3 shell improvements
Some proposed improvements:
[EDITED by SD: for merging my comments in the description. Completion according to !175 (merged)]
-
why3 shell
prints by default on stdout -
Add an option to print in a file -
--quiet option to print nothing -
restore printing of the proof tree with identifiers -
allows to put commands on the command line. Not on stdin. --batch mode -
allows to use command request Add_file to add a file to the session -
Remove the debug messages: use standard Why3 debugging -
Add any other relevant features in this list