diff -r c839a4c670c6 -r c844b93dd147 lib/Tools/yxml
--- a/lib/Tools/yxml	Sun Feb 07 19:33:34 2010 +0100
+++ b/lib/Tools/yxml	Sun Feb 07 19:54:12 2010 +0100
@@ -31,4 +31,4 @@
 
 ## main
 
-exec perl -w "$ISABELLE_HOME/lib/scripts/yxml.pl"
+exec "$ISABELLE_HOME/lib/scripts/yxml"