first" ng-include="'proofactions.html'"></td>
        </tr>
        </tbody>
    </table>
</div>

<script type="text/ng-template" id="proofactions.html">
    <span class="pull-right">
    <a class="btn btn-default" ng-href="dashboard.html?#/proofs/{{ proof.id }}" uib-tooltip="Open" tooltip-placement="auto top"><i class="fa fa-folder-open"></i></a>
    <a ng-class="{'btn':true, 'btn-default':true, 'disabled':!proof.status}" ng-click="downloadTactic(proof)" uib-tooltip="Download tactic" tooltip-placement="aut