">gravis</a></dd>
                            </dl>
                        </div>
                    </li>
                    <li name="ch.unibas.cs.gravis.thriftservice.apps" visbl="pub" class="indented6 "
                        data-isabs="false" fullComment="yes" group="Ungrouped">
                        <a id="apps"></a><a id="apps:apps"></a>
                        <span class="permalink">
      <a href="../../../../../ch/unibas/cs/gravis/thriftservice/index.html#apps" title="Permalink">
        <