Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) #2737
Annotations
2 errors and 10 warnings
|
Docker-Coq-Action
The operation was canceled.
|
Docker-Coq-Action
Notation map_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation rev_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation List.rev_length is deprecated since 8.20.
|
Docker-Coq-Action
Notation app_length is deprecated since 8.20.
|
Loading