Improvement of Python plug-in
Several directions to which the python plugin-in could be improved
-
add more cases in the dedicated external printer for terms, e.g. division and remainder operators, application using parentheses i.e. f(x,y)
instead off x y
-
add the corresponding cases in the external parser for transformation arguments -
document the plugin (done and available at http://why3.lri.fr/python/trywhy3_help.html)