Docker CI #692
Annotations
10 warnings
|
theories/hypermap.v#L3
Overwriting previous delimiting key function in scope function_scope
|
|
theories/hypermap.v#L3
Hiding binding of key FUN to fun_scope
|
|
theories/hypermap.v#L3
Overwriting previous delimiting key nat in scope nat_scope
|
|
theories/color.v#L4
Overwriting previous delimiting key function in scope function_scope
|
|
theories/color.v#L4
Hiding binding of key FUN to fun_scope
|
|
theories/color.v#L4
Overwriting previous delimiting key nat in scope nat_scope
|
|
theories/color.v#L217
Notation "[ eqType of _ ]" is deprecated since mathcomp 2.0.0.
|
|
theories/dyck.v#L3
Overwriting previous delimiting key function in scope function_scope
|
|
theories/dyck.v#L3
Hiding binding of key FUN to fun_scope
|
|
theories/dyck.v#L3
Overwriting previous delimiting key nat in scope nat_scope
|
The logs for this run have expired and are no longer available.
Loading