a few more little changes
authorFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Thu, 6 Jun 2013 09:55:09 +0000 (11:55 +0200)
committerFabio Zanini <fabio.zanini@tuebingen.mpg.de>
Thu, 6 Jun 2013 09:55:09 +0000 (11:55 +0200)
commit0a69adde848bc30ca2fd31442554d92dc03c59d4
tree1c442a876bdac77a4f9d50e1a785131306af209e
parent81c42e75220c8e7148cbaa7164fe683812d4f555
a few more little changes
synmut.tex