diff -r 45c5095d3774 -r 711958b67779 index.html
--- a/index.html Tue Jul 30 11:09:46 2019 +0100
+++ b/index.html Tue Jul 30 11:18:37 2019 +0100
@@ -219,7 +219,7 @@
Prof. Helmut Schwichtenberg.
Since 2006 this work is supported by an
Emmy-Noether
-fellowship.
+fellowship.
There is a webpage and a
mailing list
about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.