Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more generic reference to polyml component;
authorwenzelm
Mon, 28 Jan 2013 17:37:09 +0100
changeset 51068 48cecc50c221
parent 51067 8c534a166f2d
child 51069 2f50ddd3b586
more generic reference to polyml component;
Admin/Windows/Cygwin/isabelle/rebaseall file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 28 15:45:54 2013 +0100
+++ b/Admin/Windows/Cygwin/isabelle/rebaseall	Mon Jan 28 17:37:09 2013 +0100
@@ -6,7 +6,7 @@
 
 CONTRIB="$(cygpath -u "$(cygpath -w /)\..")"
 
-for DIR in "$CONTRIB/polyml-5.5.0"
+for DIR in "$CONTRIB/polyml"*
 do
   find "$DIR" -name "*.dll" >> "$FILE_LIST"
 done
isabelle