Removing the _CoqProject compile option -notation-incompatible-prefix #709
DmxLarcheyAnnotations
11 warnings
|
build (dev, 4.14-flambda)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "∑ _ .. _ , _" defined at level 200 with arguments binder
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "_ // _ -1> _" defined at level 70 with arguments constr
|
|
build (dev, 4.14-flambda)
Notations "∑ _ .. _ , _" defined at level 200 with arguments binder
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|
|
build (dev, 4.14-flambda)
Notations "£" defined at level 0 and "£ _" defined at level 1
|