math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
[catacomb] / math / mptext-dstr.c
2013-06-22 Mark WoodingRearrange the file tree.