| Thu, 11 Mar 2010 10:13:24 +0100 | blanchet | made "Manual_Nits" tests more robust | file | diff | annotate |
| Tue, 09 Mar 2010 14:18:21 +0100 | blanchet | improved Nitpick's precision for "card" and "setsum" + fix incorrect outcome code w.r.t. "bisim_depth = -1" | file | diff | annotate |