updates for infotheo 0.9 #536
Annotations
2 errors and 3 warnings
build (mathcomp/mathcomp:2.3.0-coq-8.20):
theories/core/hierarchy.v#L1277
Unknown scope delimiting key R.
|
build (mathcomp/mathcomp:2.3.0-coq-8.19):
theories/core/hierarchy.v#L1277
Unknown scope delimiting key R.
|
build (mathcomp/mathcomp:2.3.0-coq-8.20):
theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ affine _ -> _ }"
|
build (mathcomp/mathcomp:2.3.0-coq-8.20):
theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ convex _ -> _ }"
|
build (mathcomp/mathcomp:2.3.0-coq-8.20):
theories/core/hierarchy.v#L1227
Notations "{ ' _ | _ }" defined at level 0 and "{ concave _ -> _ }"
|