# HG changeset patch
# User wenzelm
# Date 1604251450 -3600
# Node ID 97f12d2c8bf2c735c02f63728855c63e8d12b9ee
# Parent  8f6df3fa7f72777a6b67d3c2a29e948b9db6e3e7
use alternative server: https://isabelle.in.tum.de/components is down;

diff -r 8f6df3fa7f72 -r 97f12d2c8bf2 etc/settings
--- a/etc/settings	Sun Nov 01 18:03:18 2020 +0100
+++ b/etc/settings	Sun Nov 01 18:24:10 2020 +0100
@@ -73,7 +73,7 @@
 isabelle_directory '$ISABELLE_HOME_USER'
 isabelle_directory '~~'
 
-ISABELLE_COMPONENT_REPOSITORY="https://isabelle.in.tum.de/components"
+ISABELLE_COMPONENT_REPOSITORY="https://isabelle.sketis.net/components"
 ISABELLE_COMPONENTS_BASE="$USER_HOME/.isabelle/contrib"
 
 # The place for user configuration, heap files, etc.