diff -r 7e1f972df25f -r a8912920ef4f Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Thu Apr 08 22:39:06 2010 +0200
+++ b/Admin/isatest/settings/at-poly-test	Fri Apr 09 11:35:50 2010 +0200
@@ -24,4 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
-init_component /home/isabelle/contrib_devel/kodkodi
+init_component "$HOME/contrib_devel/kodkodi"