Mon, 27 Feb 2012 17:13:25 +0100 | wenzelm | prefer final ADTs -- prevent ooddities; | changeset | files |
Mon, 27 Feb 2012 16:56:25 +0100 | wenzelm | more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile); | changeset | files |
Mon, 27 Feb 2012 16:53:13 +0100 | wenzelm | more standard settings -- refer to COMPONENT at most once; | changeset | files |