-
Björn Brandenburg authored
Remove the classic module from the source tree, to speed up CI and to avoid having to maintain it going forward as we adopt newer Coq and mathcomp versions. Issue: RT-PROOFS/rt-proofs#98
2545ffb9Björn Brandenburg authoredRemove the classic module from the source tree, to speed up CI and to avoid having to maintain it going forward as we adopt newer Coq and mathcomp versions. Issue: RT-PROOFS/rt-proofs#98
Loading