updates for infotheo 0.9 #540
t6sAnnotations
2 errors and 3 warnings
|
build (mathcomp/mathcomp:2.3.0-coq-8.20):
theories/core/hierarchy.v#L1227
No bound key for scope R_scope.
|
|
build (mathcomp/mathcomp:2.3.0-coq-8.19):
theories/core/hierarchy.v#L1227
No bound key for scope R_scope.
|
|
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 _ -> _ }"
|