| commit | f5e39214a08f5ef77eb0970a3414ccdf09ed05ac | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue May 18 22:03:07 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue May 18 22:03:07 2010 +0000 |
| tree | 3bcb1065ecf62e4cf825d63f8f332f0d3de49569 | |
| parent | 109893ea4b9a718bc03b6079b99c09a77066d579 [diff] |
clarifications re https://bugs.eclipse.org/311503 "hasRole(Object, class) getRole(Object, class) by (Sub-)type" - updated source and OTJLD