Add a ``File > Export...`` feature
In the context of using Why3 in the classroom, we often ask students to send their .mlw
files along with a zip archive of the metadata directory that is created by why3. Automating this seems necessary, as we see many students that have trouble sending the right files.
Is it possible to add a command in the interface of why3 ide
, that would create an archive, that contains all the files and metadata of a project ? (in the same vein as File > Export
in, say, Eclipse)
This command would be of great help to teachers!