| Mon, 06 Jun 2016 14:16:25 +0200 | wenzelm | clarified focus_defs vs. focus_refs, e.g. relevant for @{here} where this overlaps; | changeset | files |
| Mon, 06 Jun 2016 11:50:13 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Jun 2016 10:34:56 +0200 | wenzelm | less redundant exploration of full name space; | changeset | files |
| Mon, 06 Jun 2016 08:36:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Jun 2016 08:13:07 +0200 | wenzelm | avoid multiple reports on shared type; | changeset | files |
| Sat, 04 Jun 2016 16:54:23 +0200 | wenzelm | updated to recent changes of Poly/ML directory layout; | changeset | files |