12 lines
441 B
Plaintext
12 lines
441 B
Plaintext
-I /media/julinusername/eins/gits/math-comp/mathcomp
|
|
-R /media/julinusername/eins/gits/math-comp/mathcomp mathcomp
|
|
|
|
-arg -w -arg -projection-no-head-constant
|
|
-arg -w -arg -redundant-canonical-projection
|
|
-arg -w -arg -notation-overridden
|
|
-arg -w -arg +duplicate-clear
|
|
-arg -w -arg +non-primitive-record
|
|
-arg -w -arg +undeclared-scope
|
|
-arg -w -arg +deprecated-hint-rewrite-without-locality
|
|
-arg -w -arg -elpi.add-const-for-axiom-or-sectionvar
|