more little changes
authorFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Wed, 5 Jun 2013 17:00:37 +0000 (19:00 +0200)
committerFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Wed, 5 Jun 2013 17:00:37 +0000 (19:00 +0200)
commit719126cc8665e55dee3506723b14025d086fd6bb
treeb428d7f7b2aee579fb3be57d475f7a3c7ba1bbb8
parent5d02ddd83ee74a40cf188be085e33951392373e5
more little changes
synmut.tex