Add more documentation for random-checking.
authorMarco Baringer <mb@bese.it>
Sat, 9 Feb 2013 18:27:05 +0000 (19:27 +0100)
committerMarco Baringer <mb@bese.it>
Sat, 9 Feb 2013 18:32:58 +0000 (19:32 +0100)
commit03385bebe89688155b198f2f9afe34a0187126cd
treeb7021c7ee2bbf30f292bf3a9f524bcd3d4af31f0
parent106e91b038191cec3271413a7a2bdd8317352277
Add more documentation for random-checking.
docs/manual.txt