Commit 6f80af92 authored by Ike Mulder's avatar Ike Mulder
Browse files

Updated _CoqProject_noext to new namespace.

parent ae690789
Pipeline #62719 passed with stage
in 8 minutes and 19 seconds
-Q theories iris_automation
-Q theories diaframe
# We sometimes want to locally override notation (e.g. in proofmode/base.v, bi/embedding.v), and there
# is no good way to do that with scopes.
-arg -w -arg -notation-overridden
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment