(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)
(library
(name coqpp)
(wrapped false)
(modules :standard \ coqpp)
(modules_without_implementation coqpp_ast))
(executable
(public_name coqpp)
(empty_module_interface_if_absent)
(package coq-core)
(libraries coqpp)
(modules coqpp))
[ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet)
]
