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.
more contributors;
authorwenzelm
Thu, 13 Nov 2008 22:03:26 +0100
changeset 28780 be234c04401a
parent 28779 698960f08652
child 28781 1da96325eedf
more contributors;
doc-src/IsarImplementation/implementation.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarImplementation/implementation.tex	Thu Nov 13 22:02:18 2008 +0100
+++ b/doc-src/IsarImplementation/implementation.tex	Thu Nov 13 22:03:26 2008 +0100
@@ -17,7 +17,11 @@
 \isadroptag{theory}
 \title{\includegraphics[scale=0.5]{isabelle_isar}
   \\[4ex] The Isabelle/Isar Implementation}
-\author{\emph{Makarius Wenzel}}
+\author{\emph{Makarius Wenzel}  \\[3ex]
+  With Contributions by
+  Florian Haftmann
+  and Larry Paulson
+}
 
 %FIXME
 %\makeglossary
isabelle