Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
_CoqProject
Sprache: Unknown
|
-Q . Foo
-I src
src/file1.mlg
src/file2.ml
[ Dauer der Verarbeitung: 0.4 Sekunden
(vorverarbeitet)
]
|
|
