There have been previous requests/questions (some mine) about fixing Galaxy
tool functionality to enable a multiple select menu item for input data in
the history with the following:
<param ... type="data" multiple="true" ... />
Instead of using the cumbersome <repeat> tags and resulting form. Is this
working in the latest Galaxy build?