use convenience vars in spr proof
[soc.git] / NEWS.txt
1