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/HOL/document/root.tex
changeset 48970 8be091776e93
parent 48945 b5758f5a469c 
--- a/doc-src/HOL/document/root.tex	Tue Aug 28 16:14:35 2012 +0200
+++ b/doc-src/HOL/document/root.tex	Tue Aug 28 16:18:23 2012 +0200
@@ -53,7 +53,7 @@
 
 \pagenumbering{roman} \tableofcontents \clearfirst
 \input{syntax}
-\include{HOL}
+\input{HOL}
 \bibliographystyle{plain}
 \bibliography{manual}
 \printindex
isabelle