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;
authorwenzelm
Tue, 11 Dec 2001 16:25:31 +0100
changeset 12469 d3577f7e26bf
parent 12468 79b188f6d0ae
child 12470 eb3bc1c06a42
tuned;
src/HOL/Library/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/document/root.tex	Tue Dec 11 16:22:44 2001 +0100
+++ b/src/HOL/Library/document/root.tex	Tue Dec 11 16:25:31 2001 +0100
@@ -15,7 +15,7 @@
 \author{
   Gertrud Bauer \\
   Tobias Nipkow \\
-  David von Oheimb\\
+  David von Oheimb \\
   Lawrence C Paulson \\
   Thomas M Rasmussen \\
   Christophe Tabacznyj \\
isabelle