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
Mon, 09 Mar 2009 15:36:31 +0100
changeset 30383 ee2c7592e59f
parent 30382 910290f04692
child 30389 85c7ffbfac17
more contributors;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Mon Mar 09 11:57:48 2009 +0100
+++ b/CONTRIBUTORS	Mon Mar 09 15:36:31 2009 +0100
@@ -7,6 +7,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* March 2009: Robert Himmelmann, TUM and Amine Chaieb, University of
+  Cambridge
+  Elementary topology in Euclidean space.
+
 * February 2009: Filip Maric, Univ. of Belgrade
   A Serbian theory.
isabelle