| Sat, 15 Mar 2014 15:49:23 +0100 | wenzelm | more markup; | changeset | files |
| Sat, 15 Mar 2014 12:51:14 +0100 | wenzelm | clarified completion ordering: prefer local names; | changeset | files |
| Sat, 15 Mar 2014 11:59:18 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 15 Mar 2014 11:57:55 +0100 | wenzelm | tuned -- avoid vacuous reports; | changeset | files |
| Sat, 15 Mar 2014 11:28:07 +0100 | wenzelm | clarified local facts; | changeset | files |
| Sat, 15 Mar 2014 11:22:25 +0100 | wenzelm | more explicit treatment of verbose mode, which includes concealed entries; | changeset | files |