products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/modes/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: MHUnaryTF.java   Sprache: XML

Original von: Isabelle©
<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
 <PROPS>
  <PROPERTY NAME="lineComment" VALUE=">" />
  <PROPERTY NAME="noWordSep" VALUE="-_" />
 </PROPS>
 <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="FALSE" NO_WORD_SEP="-_:)">
  <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT3">>>></EOL_SPAN>
  <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT2">>></EOL_SPAN>
  <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT1">></EOL_SPAN>
  <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT1">| </EOL_SPAN>
  <EOL_SPAN AT_LINE_START="TRUE" TYPE="COMMENT1">:</EOL_SPAN>
  <SEQ TYPE="COMMENT2" DELEGATE="SIGNATURE"
   AT_LINE_START="TRUE">-- </SEQ>
  <SEQ TYPE="KEYWORD1">:-)</SEQ>
  <SEQ TYPE="KEYWORD1">:-(</SEQ>
  <SEQ TYPE="KEYWORD1">:)</SEQ>
  <SEQ TYPE="KEYWORD1">:(</SEQ>
  <SEQ TYPE="KEYWORD1">;-)</SEQ>
  <SEQ TYPE="KEYWORD1">;-(</SEQ>
  <SEQ TYPE="KEYWORD1">;)</SEQ>
  <SEQ TYPE="KEYWORD1">;(</SEQ>
  <MARK_PREVIOUS AT_LINE_START="TRUE" TYPE="LABEL">:</MARK_PREVIOUS>
 </RULES>
 <RULES SET="SIGNATURE" DEFAULT="COMMENT2"/>
</MODE>

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff