aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Init/_CoqProject
blob: bff79d34bf2b8ef913e8e3024385e3476fdaf39f (plain)
1
2
-R .. Coq
-arg -noinit