products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/doc/FAQ/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: faq-contrib.xml   Sprache: XML

Original von: Isabelle©
<?xml version="1.0" encoding="UTF-8"?>
<appendix id="appendix">
    <title>Contributors</title>
    <!-- jEdit buffer-local properties:                      -->
    <!-- :indentSize=2:noTabs=false:maxLineLen=90:tabSize=2: -->
    <!-- :xml.root=faq.xml:                                  -->
    <!-- jEdit FAQ                                           -->

    <para>Thanks to those who contributed both questions and answers, including
    the following:</para>

    <itemizedlist>
        <listitem> <para>Mike Dillon</para></listitem>
        <listitem><para>Kris Kopicki</para></listitem>
        <listitem><para>Slava Pestov</para></listitem>
        <listitem><para>Frank Rocca</para></listitem>
        <listitem><para>Maik Schreiber</para></listitem>
        <listitem><para>Dominic Stolerman</para></listitem>
    </itemizedlist>
</appendix>

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff