Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
products/sources/formale sprachen/Isabelle/Tools/Metis/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Matching.pas.~572~   Sprache: Unknown

<?xml version="1.0"?>

<!DOCTYPE MODE SYSTEM "xmode.dtd">

<!--
catalog entry:

<MODE NAME="embperl" FILE="embperl.xml"
FILE_NAME_GLOB="*.epl"/>

sidekick parser entry:
mode.embperl.sidekick.parser=html

xml completion entry:
mode.embperl.xml.completion-info=jeditresource:/XML.jar!/xml/completion/html-complete.xml
-->

<MODE>
 <PROPS>
  <PROPERTY NAME="commentStart" VALUE="<!--" />
  <PROPERTY NAME="commentEnd" VALUE="-->" />
 </PROPS>
 <RULES IGNORE_CASE="TRUE" HIGHLIGHT_DIGITS="FALSE">
  <SPAN TYPE="COMMENT2">
   <BEGIN>[#</BEGIN>
   <END>#]</END>
  </SPAN>
  <!-- output result -->
  <SPAN DELEGATE="perl::MAIN" TYPE="LITERAL3">
   <BEGIN>[+</BEGIN>
   <END>+]</END>
  </SPAN>
  <!-- execute code -->
  <SPAN DELEGATE="perl::MAIN" TYPE="LITERAL3">
   <BEGIN>[-</BEGIN>
   <END>-]</END>
  </SPAN>
  <!-- control flow -->
  <SPAN DELEGATE="perl::MAIN" TYPE="LITERAL3">
   <BEGIN>[$</BEGIN>
   <END>$]</END>
  </SPAN>
  <!-- execute once -->
  <SPAN DELEGATE="perl::MAIN" TYPE="LITERAL3">
   <BEGIN>[!</BEGIN>
   <END>!]</END>
  </SPAN>
  <IMPORT DELEGATE="html::MAIN"/>
 </RULES>
</MODE>

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]