log src/tools/xml_tools.py @ 1255:38fb8823cee8

age author description
2014-10-03 souliane memory (params), tools (xml_tools), plugins, frontends: add "int" parameter type with "min" and "max" attributes
2014-09-15 Matteo Cypriani misc: fixed some typos