# HG changeset patch # User Dirkjan Ochtman # Date 2008-06-18 08:15:59 # Node ID b3602c98c6863c67baddd6000e6460012912ebdd # Parent 7f58dec6aeb7ba4fbc7100ebfe7a09f581b14b69 # Parent 683428d1e6397c6b6c0bfd75ccd62c3519a9c8ba merge incorporation of graph into paper style