| Wed, 21 Apr 2010 14:46:29 +0200 | blanchet | use only one thread in "Manual_Nits"; | file | diff | annotate |
| Fri, 12 Mar 2010 12:02:22 +0100 | blanchet | make tests less demanding, to prevent sporadic failures | file | diff | annotate |
| Thu, 11 Mar 2010 17:48:07 +0100 | blanchet | moved some Nitpick code around | file | diff | annotate |
| Thu, 11 Mar 2010 15:33:45 +0100 | blanchet | added a mechanism to Nitpick to support custom rendering of terms, and used it for multisets | file | diff | annotate |
| Thu, 11 Mar 2010 12:22:11 +0100 | blanchet | added term postprocessor to Nitpick, to provide custom syntax for typedefs | file | diff | annotate |
| Thu, 11 Mar 2010 10:13:24 +0100 | blanchet | made "Manual_Nits" tests more robust | file | diff | annotate |