Wed, 01 Nov 2017 20:46:23 +0100 | wenzelm | proper merge (amending fb46c031c841); | changeset | files |
Wed, 01 Nov 2017 18:37:49 +0100 | wenzelm | build faster without heap images for minor imports; | changeset | files |
Wed, 01 Nov 2017 18:24:39 +0100 | wenzelm | proper order for entries from multiple profiles, notably "AFP"; | changeset | files |
Wed, 01 Nov 2017 17:29:14 +0100 | wenzelm | tuned output; | changeset | files |
Wed, 01 Nov 2017 17:07:43 +0100 | wenzelm | tuned; | changeset | files |
Wed, 01 Nov 2017 17:03:32 +0100 | wenzelm | logic_selector refers to raw logic name; | changeset | files |
Wed, 01 Nov 2017 16:58:38 +0100 | wenzelm | clarified terminology; | changeset | files |