Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace
authorhaftmann
Tue, 17 Aug 2010 14:19:11 +0200
changeset 38458 2c46f628e6b7
parent 38451 4c065e97ecee
child 38459 cfe74b0eecb1
tuned whitespace
doc-src/Codegen/Thy/Foundations.thy file | annotate | diff | comparison | revisions 
--- 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.
isabelle