Improved efficiency of needed definition extraction by using dynamic rules instead of a list of definitions to look up definitions in. The effect of this change is that the order of evaluation of definitions for the same label is reversed. This is fine since the order of evaluation of rules/definitions with the same name is undefined, but it might break some specifications. It might be a good idea to change the evaluation order with every distribution in order to force programmers to use left choice when the order is relevant.

-- EelcoVisser - 17 Dec 2001

---

CategoryGlossary