-
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
2545ffb9
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