Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/MetroInterlockingPP/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 453 B image not shown  

Quelle  .overture   Sprache: unbekannt

 
<?xml version="1.0" encoding="UTF-8"?>
<overture>
 <group key="org.overture.ide.plugins.latex">
  <booleanAttribute key="LATEX_GENERATE_MAIN_DOCUMENT" value="true"/>
  <stringAttribute key="LATEX_MAIN_DOCUMENT" value="MetroInterlocking.tex"/>
  <booleanAttribute key="LATEX_MODEL_ONLY" value="true"/>
  <booleanAttribute key="LATEX_MARK_COVERAGE" value="true"/>
  <booleanAttribute key="LATEX_INCLUDE_COVERAGETABLE" value="true"/>
 </group>
</overture>

[ Dauer der Verarbeitung: 0.13 Sekunden  (vorverarbeitet)  ]