# HG changeset patch
# User nipkow
# Date 956141961 -7200
# Node ID cb9d476325732edf6d29fdc15b49d702d72fdb25
# Parent  22580c8bc62f6848d3461418a9c7c574897d9d78
*** empty log message ***

diff -r 22580c8bc62f -r cb9d47632573 doc-src/TutorialI/CodeGen/document/session.tex
--- a/doc-src/TutorialI/CodeGen/document/session.tex	Wed Apr 19 12:56:24 2000 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-\input{CodeGen.tex}