| Thu, 06 Mar 2014 11:32:16 +0100 | wenzelm | clarified treatment of consts -- prefer value-oriented reports; | changeset | files |
| Thu, 06 Mar 2014 10:53:14 +0100 | wenzelm | clarified check of internal names; | changeset | files |
| Thu, 06 Mar 2014 10:12:47 +0100 | wenzelm | tuned signature; | changeset | files |