-delay="1000"
                     ng-if="!model.pubLink">{{model.description}}</div>
                </div>
            </td>
            <td class="k4-abbreviate"><button class="btn btn-link" ng-if="model.hasTactic"
                                              ng-click="openTactic(model.id)">Browse</button></td>
            <td ng-if="$first" ng-model="model" id="modelactions"
                data-intro="Start new proofs, generate monitor code, synthesize test cases, and download .kyx models and proofs."