| Fri, 03 Apr 2015 19:56:51 +0200 | wenzelm | more uniform "verbose" option to print name space; | changeset | files |
| Fri, 03 Apr 2015 18:36:19 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 02 Apr 2015 20:46:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 02 Apr 2015 20:28:30 +0200 | wenzelm | proper treatment of internal method name as already checked Token.src; | changeset | files |
| Thu, 02 Apr 2015 20:07:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 02 Apr 2015 20:07:05 +0200 | wenzelm | export for informative purposes; | changeset | files |