obsolete;

--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Thu Aug 20 14:31:09 2015 +0200
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Thu Aug 20 14:35:22 2015 +0200
@@ -1,15 +1,4 @@
 #!/bin/dash
 
 export PATH=/bin
-
-FILE_LIST="$(mktemp)"
-
-for DIR in contrib/polyml*
-do
-  find "$DIR" -name "*.dll" >> "$FILE_LIST"
-done
-
-dash /bin/rebaseall -T "$FILE_LIST"
-
-rm -f "$FILE_LIST"
-
+dash /bin/rebaseall