merge in changes from MIR_1_0
authormh <mh>
Tue, 24 Dec 2002 01:52:41 +0000 (01:52 +0000)
committermh <mh>
Tue, 24 Dec 2002 01:52:41 +0000 (01:52 +0000)
commit7df39d0fcde5398363e50ab2e8caa6012712f652
tree3ee6189298508a14925f8da92c8814dc286aaca0
parentc6dafeb7b888e1e3d8a0091649aa334c22bd3e06
merge in changes from MIR_1_0
NEWS