products/sources/formale sprachen/Coq/doc/tools/coqrst/notations/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tzmappings   Sprache: Unknown

<!-- importing.xml -->
<project name="langtools" basedir = "../../../..">

    <taskdef name="wrapLogger" classname="idea.IdeaLoggerWrapper" classpath=".idea/classes"/>

    <wrapLogger/>

    <import file="../../../langtools/build.xml"/>

    <target name="cond-clean" unless="${intellij.ismake}">
        <antcall target="clean"/>
    </target>

    <target name="post-make" depends="cond-clean, build-all-tools"/>
</project>

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]