Adapt w.r.t. coq/coq#20201. #79
ppedrotAnnotations
4 warnings
|
docker (coqorg/coq:8.20):
examples/tutorial_coq_elpi_command.v#L610
This command does not support these attributes: more, this.
|
|
docker (coqorg/coq:8.20):
examples/tutorial_coq_elpi_command.v#L643
This command does not support these attributes: more, this.
|
|
docker (coqorg/coq:8.20):
examples/tutorial_coq_elpi_command.v#L644
This command does not support this attribute: unknown.
|
|
docker (coqorg/coq:8.20):
examples/tutorial_coq_elpi_tactic.v#L632
x is already taken, Elpi will make a name up
|