aboutsummaryrefslogtreecommitdiff
path: root/ChangeLog
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-01-25 20:27:40 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-01-25 20:27:40 +0000
commit2a2756b85643de6355b7b9e3cc47574e7df82303 (patch)
tree1e44145bc88c55f6d70b05503b7741a613b36e3c /ChangeLog
parenta9340fa67222bf7ab9057d132af387031b00997d (diff)
* Simplification: registerSubstitutes -> registerSubstitute. We no
longer need the former since there we no longer have the substitutes-rev table (which triggered a O(n^2) cost in updating them).
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions