| Mon, 03 Mar 2014 11:58:07 +0100 | wenzelm | clarified path checks: avoid crash of rendering due to spurious errors; | changeset | files |
| Mon, 03 Mar 2014 11:37:06 +0100 | wenzelm | more precise navigation within open files; | changeset | files |
| Mon, 03 Mar 2014 10:59:33 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 03 Mar 2014 10:41:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 03 Mar 2014 14:22:35 +0100 | blanchet | updated NEWS | changeset | files |
| Mon, 03 Mar 2014 12:58:17 +0100 | blanchet | guard against unsound cases that arise when people peek into 'int' and similar types that are handled specially by Nitpick | changeset | files |
| Mon, 03 Mar 2014 12:48:20 +0100 | blanchet | adapted example | changeset | files |
| Mon, 03 Mar 2014 12:48:20 +0100 | blanchet | removed obsolete, harmful step in tactic | changeset | files |