[Omake] darcs patch: Node hashing. This changes the node type to be hash-c...

[Aleksey Nogin]

On 04.03.2007 17:13, jyh at cs.caltech.edu wrote:

> Sun Mar  4 17:07:12 PST 2007  jyh at cs.caltech.edu
>   * Node hashing.  This changes the node type to be hash-consed.
>   
>   This is a backport from 0.9.9.
>
Do I understand it correctly that this is the same thing that you've
sent earlier, just in a different format?

Aleksey