merge few details
authorFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Wed, 2 Jan 2013 11:12:37 +0000 (12:12 +0100)
committerFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Wed, 2 Jan 2013 11:12:37 +0000 (12:12 +0100)
commit2763fda6245ad507dcad336dbbded03c7ed03667
tree4a52a273a8b45e5741d0c82004b100cd56c876d0
parentc1985d03667b753ca3b5a92be1b57e1d9a2b44f9
merge few details
synmut.tex