Changed the implementation of the dictionary: using a hashtable underneath
Authored by: arjenmarkus 2007-01-26
Parent: [r53]
Child: [r55]