Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Codegen/codegen.tex
changeset 31050 555b56b66fcf
parent 30836 1344132160bb
child 33926 dd017d9db05f 
--- a/doc-src/Codegen/codegen.tex	Wed May 06 16:01:06 2009 +0200
+++ b/doc-src/Codegen/codegen.tex	Wed May 06 16:01:07 2009 +0200
@@ -32,7 +32,7 @@
 
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Program.tex}
-\input{Thy/document/Adaption.tex}
+\input{Thy/document/Adaptation.tex}
 \input{Thy/document/Further.tex}
 \input{Thy/document/ML.tex}
isabelle