products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/installer/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: XML

Untersuchung Isabelle©
<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<!-- Apollo Guidance Computer (AGC) executable binary source mode by Jim Lawton (jim DOT lawton AT gmail DOT com). -->

<MODE>

    <PROPS>
        <PROPERTY NAME="lineComment" VALUE=";" />
    </PROPS>

    <RULES HIGHLIGHT_DIGITS="TRUE" IGNORE_CASE="TRUE">
        <!-- Comments -->
        <EOL_SPAN TYPE="COMMENT2">;</EOL_SPAN>

        <!-- Octal numbers (default). -->
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+[ \t]</SEQ_REGEXP>
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+$</SEQ_REGEXP>
        <SEQ_REGEXP HASH_CHARS="+-01234567" AT_WORD_START="TRUE" TYPE="DIGIT">[+-]*[0-7]+[,$]</SEQ_REGEXP>

        <KEYWORDS>
            <!-- Directives -->
            <FUNCTION>BANK</FUNCTION>
        </KEYWORDS>
    </RULES>
</MODE>

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.17Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Kontakt
Drucken
Kontakt
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff