Mercurial Mercurial > hg > isabelle-cookbook / 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.
ProgTutorial/document/root.tex
changeset 435 524b72520c43
parent 427 94538ddcac9b
child 458 242e81f4d461 
--- a/ProgTutorial/document/root.tex	Wed Jun 02 07:05:29 2010 +0200
+++ b/ProgTutorial/document/root.tex	Wed Jun 02 07:19:58 2010 +0200
@@ -164,6 +164,7 @@
         Jeremy & Dawson\\
         Alexander & Krauss\\
         Tobias & Nipkow\\
+        Andreas & Schropp\\
         Christian & Sternagel\\ 
         \end{tabular}}
isabelle-cookbook