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 |