| Tue, 13 Mar 2012 16:56:56 +0100 | wenzelm | prefer abs_def over def_raw; | changeset | files |
| Tue, 13 Mar 2012 16:40:06 +0100 | wenzelm | prefer abs_def over def_raw; | changeset | files |
| Tue, 13 Mar 2012 16:22:18 +0100 | wenzelm | improved attribute "abs_def" to handle object-equality as well; | changeset | files |