# HG changeset patch
# User wenzelm
# Date 968408001 -7200
# Node ID 864c8faf3d9a5b624d53658cd76fabdddf3053b9
# Parent  f025cf787554da8509f6d75a03f9d60d42a8ac4f
*** empty log message ***

diff -r f025cf787554 -r 864c8faf3d9a doc-src/TutorialI/Misc/document/simp.tex