diff -r 9c098598db2a -r cbb9ee265cdd lib/scripts/getsettings
--- a/lib/scripts/getsettings	Sat Apr 17 21:40:29 2010 +0200
+++ b/lib/scripts/getsettings	Sat Apr 17 22:58:29 2010 +0200
@@ -27,6 +27,9 @@
   "$ISABELLE_TOOL" "$@"
 }
 
+#platform
+. "$ISABELLE_HOME/lib/scripts/isabelle-platform"
+
 #Isabelle distribution identifier -- filled in automatically!
 ISABELLE_IDENTIFIER=""