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: slate.xml   Sprache: XML

Original von: Isabelle©
<?xml version="1.0"?>
<!DOCTYPE MODE SYSTEM "xmode.dtd">

<MODE>
 <PROPS>
  <PROPERTY NAME="unalignedOpenBrackets" VALUE="["/>
  <PROPERTY NAME="unalignedCloseBrackets" VALUE="]"/>
  <PROPERTY NAME="commentStart" VALUE="""/>
  <PROPERTY NAME="commentEnd" VALUE="""/>
 </PROPS>
 <RULES IGNORE_CASE="FALSE"
  HIGHLIGHT_DIGITS="TRUE" DIGIT_RE="-?\d+([./]\d+)?">
  <SPAN TYPE="COMMENT1">
   <BEGIN>"
   <END>"
  </SPAN>

  <MARK_FOLLOWING TYPE="LITERAL2">#</MARK_FOLLOWING>

  <SEQ TYPE="MARKUP">@</SEQ>

  <SPAN TYPE="LITERAL1" ESCAPE="\">
   <BEGIN>'
   <END>'
  </SPAN>

  <SPAN TYPE="KEYWORD1">
   <BEGIN>|</BEGIN>
   <END>|</END>
  </SPAN>

  <MARK_FOLLOWING TYPE="LITERAL4">&</MARK_FOLLOWING>
  <MARK_FOLLOWING TYPE="KEYWORD2">`</MARK_FOLLOWING>

  <MARK_FOLLOWING TYPE="LITERAL3">$\</MARK_FOLLOWING>
  <MARK_FOLLOWING TYPE="LITERAL3">$</MARK_FOLLOWING>

  <SEQ TYPE="OPERATOR">[</SEQ>
  <SEQ TYPE="OPERATOR">]</SEQ>
  <SEQ TYPE="OPERATOR">{</SEQ>
  <SEQ TYPE="OPERATOR">}</SEQ>
 </RULES>
</MODE>

¤ Dauer der Verarbeitung: 0.1 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