projects / matthijs / master-project / dsd-paper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd09f87) | patch
fix layout of choice section
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Thu, 25 Feb 2010 15:27:07 +0000 (16:27 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Thu, 25 Feb 2010 15:27:07 +0000 (16:27 +0100)
commit5f94742c1854c1d5f47d4e89f8d96bc74d1b20c9
treeb6fa6183286f941209a4987ed54ffe9e0f151f1btree | snapshot
parentcd09f87baad1da1101776a0f68d7290af056eaf0commit | diff
fix layout of choice section
cλash.lhs diff | blob | history
Paper intended for DSD 2010