Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112(library (name number_string_notation_plugin) (public_name rocq-runtime.plugins.number_string_notation) (synopsis "Rocq number and string notation plugin") (modules g_number_string number_string) (libraries rocq-runtime.vernac))
(rule (targets g_number_string.ml) (deps (:mlg g_number_string.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps}))))