Ignore dist
Update for Frege Summer 2013 version, Refactor