| Tue, 01 Jun 2010 15:37:14 +0200 | blanchet | subsumed by NEWS -- for older history, see previous versions of Nitpick | changeset | files |
| Tue, 01 Jun 2010 14:54:35 +0200 | blanchet | don't show spurious "..." in Nitpick's output for free variables of set type (e.g., P (op +) example from Manual_Nits.thy); undoes parts of 38ba15040455, which was too aggressive | changeset | files |
| Tue, 01 Jun 2010 14:14:02 +0200 | blanchet | honor xsymbols in Nitpick | changeset | files |
| Tue, 01 Jun 2010 12:20:08 +0200 | blanchet | added "atoms" option to Nitpick (request from Karlsruhe) + wrap Refute. functions to "nitpick_util.ML" | changeset | files |
| Tue, 01 Jun 2010 11:58:50 +0200 | blanchet | document new option | changeset | files |
| Tue, 01 Jun 2010 10:40:23 +0200 | blanchet | make Nitpick handle multiple typedef entries for same typedef | changeset | files |
| Tue, 01 Jun 2010 10:32:29 +0200 | blanchet | remove comment | changeset | files |