updates to lyx, changed stuff to xprime