Added nicer Isar command for hipster