etc/settings

--- a/etc/settings	Fri Aug 17 14:55:46 2012 +0200
+++ b/etc/settings	Fri Aug 17 14:56:37 2012 +0200
@@ -96,6 +96,8 @@
 ### Misc path settings
 ###
 
+ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
+
 # The place for user configuration, heap files, etc.
 if [ -z "$ISABELLE_IDENTIFIER" ]; then
   ISABELLE_HOME_USER="$USER_HOME/.isabelle"