| Tue, 01 Jun 2010 16:17:46 +0200 | blanchet | fix code that used to raise an exception if bound variables were given a finite function type, because the old vs. new bound variable types were confused | changeset | files |
| Tue, 01 Jun 2010 15:53:15 +0200 | blanchet | improved precision of "set" based on an example from Lukas | changeset | files |
| Tue, 01 Jun 2010 15:43:20 +0200 | blanchet | remove debug output | changeset | files |
| Tue, 01 Jun 2010 15:38:47 +0200 | blanchet | removed "nitpick_intro" attribute -- Nitpick noew uses Spec_Rules instead | changeset | files |
| 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 |