Update flint documentation
Closes #2179 (closed) Closes #2178 (closed)
Few update of the Flint documentation
Plus few changes on Lima displayed __info__
. And remove of dead file.
Closes #2179 (closed) Closes #2178 (closed)
Few update of the Flint documentation
Plus few changes on Lima displayed __info__
. And remove of dead file.