Change wording in documentation #66
patrick-nicodemusAnnotations
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
|