History "imported: v2013_linmin" has been imported.
You can start using this history or go to Galaxy's start page.