| Sun, 01 Apr 2012 20:42:19 +0200 | wenzelm | nothing specific about named target; | changeset | files |
| Sun, 01 Apr 2012 20:36:33 +0200 | wenzelm | clarified Generic_Target.notes: always perform Attrib.partial_evaluation; | changeset | files |
| Sun, 01 Apr 2012 19:07:32 +0200 | wenzelm | added Attrib.global_notes/local_notes/generic_notes convenience; | changeset | files |
| Sun, 01 Apr 2012 19:04:52 +0200 | wenzelm | simplified; | changeset | files |
| Sun, 01 Apr 2012 18:01:19 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 01 Apr 2012 15:23:43 +0200 | wenzelm | clarified Named_Target.target_declaration: propagate through other levels as well; | changeset | files |