| commit | 2b3feeb93546232ed9b57f9b71cf881f6c1844c6 | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Sat Jul 17 13:49:27 2010 +0000 |
| committer | Daniel LeBerre <dleberre> | Sat Jul 17 13:49:27 2010 +0000 |
| tree | b3097669c4426356af43d4fd047612b8b82116da | |
| parent | 2e1155c4edb9a19d73351bb672af5d87abb573e1 [diff] |
Displaying proof per criteria.