Code

avoid warnings emitted by Coq#76

Code

Open

ybertot wants to merge 3 commits intocoq-community:coq-mastercoq-community/coq-dpdgraph:coq-masterfrom ybertot:coq-deprecation-8.13ybertot/coq-dpdgraph:coq-deprecation-8.13Copy head branch name to clipboard

+1,194-1,198

Commits

Commits on Oct 29, 2020

• avoid warnings emitted by Coq

  ybertot

  committed
  ec2d8bf

  Copy full SHA for ec2d8bf

Commits on Oct 30, 2020

• accept changes

  ybertot

  committed
  8b86bce

  Copy full SHA for 8b86bce

• changes in the shapes of graph are legitimate

  ybertot

  committed
  648c589

  Copy full SHA for 648c589