
                data-position="bottom">
                <span class="pull-right">
                <a class="btn btn-default" ng-if="model.isExercise" ng-click="open(model.id)" uib-tooltip="Start exercise"><i class="fa fa-pencil-square-o"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-href="dashboard.html?#/models/{{ model.id }}/proofs" uib-tooltip="Show proofs"><i class="fa fa-list"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-controller