Moved to http://metaborg.org/wiki/nabl