Commit 5e11f44bd58d2a210655ee26ecd9ac0135d9c645

Paul Eggert 2006-05-02T23:39:59

* doc/verify.texi: New file. * lib/verify.h: Document the internals better.