* adding gundo
 * minor tex tweaks