-arg -w
-arg -parsing
-arg -w -arg +undeclared-scope
-arg -w -arg +non-primitive-record
-arg -w -arg +undeclared-scope
-arg -w -arg -deprecated-hint-without-locality
-arg -w -arg -deprecated-grab-existentials
-arg -w -arg -deprecated-ident-entry
-arg -w -arg -ambiguous-paths

theories/boolp.v
theories/ereal.v
theories/reals.v
theories/posnum.v
theories/nngnum.v
theories/landau.v
theories/classical_sets.v
theories/Rstruct.v
theories/topology.v
theories/prodnormedzmodule.v
theories/normedtype.v
theories/realfun.v
theories/sequences.v
theories/exp.v
theories/trigo.v
theories/nsatz_realtype.v
theories/cardinality.v
theories/csum.v
theories/forms.v
theories/derive.v
theories/measure.v
theories/summability.v
theories/altreals/xfinmap.v
theories/altreals/discrete.v
theories/altreals/realseq.v
theories/altreals/realsum.v
theories/altreals/distr.v

-R theories mathcomp.analysis
