Merge apel-unify-8_4_1.
authormorioka <morioka>
Fri, 24 Apr 1998 19:21:31 +0000 (19:21 +0000)
committermorioka <morioka>
Fri, 24 Apr 1998 19:21:31 +0000 (19:21 +0000)
commit5aa2a7966daa073e3b5a29ff213bfc5271ed8a8d
tree1a74d01ec0e14f5cf86a5c0ea355820f4479c62b
parentd273587fc442fd73783bcd01817a89a0f5a182e8
Merge apel-unify-8_4_1.
ChangeLog