Merge pull request #251 from arnoudvanderleer/limit-diagrams #209
benediktahrensAnnotations
2 errors and 7 warnings
|
Build with 8.16
Unknown scope delimiting key _nat.
|
|
Build with 8.16
Unknown scope delimiting key _nat.
|
|
Build with 8.16
Cache not found for keys: TypeTheory-coq-8.16-13325315096-209, TypeTheory-coq-8.16-13325315096, TypeTheory-coq-8.16, TypeTheory-coq
|
|
Build with dev
Cache not found for keys: TypeTheory-coq-dev-13325315096-209, TypeTheory-coq-dev-13325315096, TypeTheory-coq-dev, TypeTheory-coq
|
|
Build with latest
Cache not found for keys: TypeTheory-coq-latest-13325315096-209, TypeTheory-coq-latest-13325315096, TypeTheory-coq-latest, TypeTheory-coq
|
|
Build with latest
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Build with latest
Closed notations (i.e. starting and ending with a terminal symbol)
|
|
Build with latest
Postfix notations (i.e. starting with a nonterminal symbol and
|
|
Build with latest
disp_nat_z_iso_to_trans does not respect the uniform inheritance
|