| Fri, 21 Apr 2017 18:51:24 +0200 | wenzelm | proper imports_resources for import_name: avoid self-referential name resolution; | changeset | files |
| Fri, 21 Apr 2017 17:34:13 +0200 | wenzelm | more precise position information; | changeset | files |
| Fri, 21 Apr 2017 16:48:58 +0200 | wenzelm | tuned imports; | changeset | files |
| Fri, 21 Apr 2017 16:48:12 +0200 | wenzelm | proper "~~" backup as documented; | changeset | files |
| Fri, 21 Apr 2017 16:45:32 +0200 | wenzelm | clarified: explicit check of result; | changeset | files |
| Fri, 21 Apr 2017 16:12:11 +0200 | wenzelm | clarified imports; | changeset | files |