In gh-217 I made all the flintlib .pxd files automatically generated but I generated them using my git checkout of FLINT rather than the current release (3.1.3-p1). This PR regenerates with 3.1.3-p1 and also adds a README that explains about the generated files.
In gh-217 I made all the flintlib .pxd files automatically generated but I generated them using my git checkout of FLINT rather than the current release (3.1.3-p1). This PR regenerates with 3.1.3-p1 and also adds a README that explains about the generated files.