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.
\documentclass{report};
authorwenzelm
Tue, 07 May 2002 14:27:07 +0200
changeset 13106 f6561b003a35
parent 13105 3d1e7a199bdc
child 13107 8743cc847224
\documentclass{report};
src/HOL/HoareParallel/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:26:32 2002 +0200
+++ b/src/HOL/HoareParallel/document/root.tex	Tue May 07 14:27:07 2002 +0200
@@ -1,7 +1,7 @@
 
 % $Id$
 
-\documentclass[11pt,a4paper]{book}
+\documentclass[11pt,a4paper]{report}
 \usepackage{graphicx}
 \usepackage[english]{babel}
 \usepackage{isabelle,isabellesym}
isabelle