log svn-merging.tex @ 357:b3bd9bc3e5f8

age author description
Sun, 21 Nov 2010 16:20:15 +0100 Martin Geisler Adjust to new font size
Tue, 27 Apr 2010 14:16:22 +0200 Martin Geisler Stress authority of quote.
Mon, 26 Apr 2010 17:12:56 +0200 Martin Geisler Split off slides on SVN branching/merging.