Mercurial Mercurial > repos > isabelle / 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.
README
changeset 71337 e20c47795846
parent 71336 b9a9afa70d1a
child 73530 89cf7c903aca 
--- a/README	Sun Dec 22 16:18:55 2019 +0100
+++ b/README	Sun Dec 22 16:19:57 2019 +0100
@@ -69,8 +69,8 @@
     or
 
     Tobias Nipkow
-    Institut fuer Informatik
-    Technische Universitaet Muenchen
+    Institut für Informatik
+    Technische Universität München
     Boltzmannstr. 3
     D-85748 Garching
     Germany
isabelle