
echo "Converting short names back into long ones..."

rename   ROThint        ROThints
rename   ROThint.info   ROThints.info
rename   ROThint.txt    ROThints.txt
rename   Demo.RO        DemoObject.ROTOBJ
rename   Demo.RA        DemoAction.ROTACT
rename   Robot.RO       RobotHead.ROTOBJ
rename   Shake.RA       ShakeHead.ROTACT
rename   Tube.RO        Tube.ROTOBJ
rename   Roll.RA        TubeRoll.ROTACT
rename   tetra.RO       tetrahedron.ROTOBJ
rename   Twirl.RA       Twirl.ROTACT
rename   Tumble.RA      Tumble.ROTACT
rename   Em.RO          Em.ROTOBJ
rename   Yrot.RA        Yrotation.ROTACT


