diff leim/ChangeLog @ 62426:c5a3c48f99b5

(subsetp, tree-equal): Doc fixes.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 17 May 2005 00:27:32 +0000
parents 2718ee127982
children 035c9cd93159 02f1dbc4a199
line wrap: on
line diff