changeset: 116:c51a616f878f tag: tip parent: 115:31302b5f6e5c parent: 114:5d2b85cc542f user: Charles Williams <C.Williams at gns.cri.nz> date: Tue May 01 16:48:31 2012 +1200 files: faultRup.tex description: Trying again.