Spracherkennung für: .overture vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
<?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.27 Sekunden
]
