math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
[catacomb] / debian / .gitignore
CommitLineData
a137c6b3
MW
1files
2tmp
3substvars
4*.substvars
5*.debhelper
6catacomb
7catacomb-bin
8catacomb-dev
9catacomb2