# HG changeset patch
# User haftmann
# Date 1282047551 -7200
# Node ID 2c46f628e6b795dd3c72047cc9472519d57f360d
# Parent  4c065e97ecee6cb6aafe1f492878adcd6f90e3b6
tuned whitespace

diff -r 4c065e97ecee -r 2c46f628e6b7 doc-src/Codegen/Thy/Foundations.thy
--- a/doc-src/Codegen/Thy/Foundations.thy	Tue Aug 17 12:30:31 2010 +0200
+++ b/doc-src/Codegen/Thy/Foundations.thy	Tue Aug 17 14:19:11 2010 +0200
@@ -7,7 +7,6 @@
 subsection {* Code generator architecture \label{sec:architecture} *}
 
 text {*
-
   The code generator is actually a framework consisting of different
   components which can be customised individually.