Skip to content
Snippets Groups Projects
Normal view Permalink
_CoqProject 79 B
Newer Older
Björn Brandenburg's avatar
suppress warnings in prosa.util.seqset  
Björn Brandenburg committed
1 
-R . prosa -arg "-w -notation-overriden,-parsing,-projection-no-head-constant"