Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
dune
Sprache: Unknown
|
(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)
(executable
(name coqpp_main)
(public_name coqpp)
(package coq)
(modules coqpp_ast coqpp_lex coqpp_parse coqpp_main)
(modules_without_implementation coqpp_ast))
[ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
]
|
|
