coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of test-suite/modules/errors.v

October 2018

Enrico Tassi
Merge PR #8630: Some cleaning in the test suite
committed
Vincent Laporte
test-suite: cleaning
committed

March 2011

herbelin
Starting being more explicit on the reasons why module subtyping fails.
committed