     </div>
    </div>

    <div class="panel-heading" ng-if="modelId !== undefined" ng-cloak>
        <div class="row">
            <div class="col-md-6"><b>Proofs of Model {{modelId}}</b></div>
            <div class="col-md-6">
                <span class="pull-right" id="proofsarchiving"
                      data-intro="Start a <strong>new proof</strong>, or <strong>extract all proofs</strong> into a single archive (.kyx, includes this model and all its finished or partial proofs)." data-position="left