diff --git a/community.html b/community.html deleted file mode 100644 --- a/community.html +++ /dev/null @@ -1,24 +0,0 @@ - - - - - - Isabelle - - - - - - -
- -
-

Redirect

-

Please visit the Isabelle project page at https://isabelle.in.tum.de/community.

-
- -
- - - - diff --git a/index.html b/index.html --- a/index.html +++ b/index.html @@ -1,157 +1,161 @@ Isabelle