    <!--a class="btn btn-default"
                       ng-click="downloadAllModels()"
                       uib-tooltip="Export all models into a single archive (.kyx)"><i class="fa fa-archive"></i> Export all</a-->
                    <a class="btn btn-default"
                       ng-click="downloadAllProofs()"
                       uib-tooltip="Export all models and proofs into a single archive (.kyx)"><i class="fa fa-archive"></i> Export all</a>
                    <a class="btn btn-danger"
      