                        <p>
                                                    <small class="text-muted">
                                                        <a ng-click="setWorkingDir(undefined)">KeYmaera X</a>
                                                        <span ng-repeat="folder in workingDir">
                                                            <span> / </span><a ng-click="setWorkingDir($index+1)">{{folder}}</a>
                                                        </span>
      