Admin/isatest/settings/at-sml-dev-e

--- a/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
 ML_SYSTEM=smlnj
 ML_HOME="/home/smlnj/110.74/bin"
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"