L')"></k4-tactic-menu-entry>
    <k4-tactic-menu-entry
            disabled="agenda.items().length <= 0"
            proof-id="{{proofId}}" user-id="{{userId}}"
            name="M&exist;R ..." code-name="existsRmon" exec="openTacticPosInputDialog(codeName, 'R')"></k4-tactic-menu-entry>
    <!--<li role="separator" class="divider"></li>-->
    <!--<li><a ng-click="openTacticPosInputDialog('min', 'R')"><span>min</span><code class="pull-right">min</code></a></li>-->
    <!--<li><a ng-click="openTacticPosInput