Merge pull request #56 from proux01/ci_update #50
Annotations
10 warnings
|
theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L76
Notation ler_paddl is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L84
Notation ler_addl is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L84
Notation ler_pmulr is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L86
Notation ler_add is deprecated since mathcomp 1.17.0.
|
|
theories/cauchyreals.v#L86
Notation ler_norm_add is deprecated since mathcomp 1.17.0.
|
The logs for this run have expired and are no longer available.
Loading