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.
fixed incomplete rename (1cdf54e845fa)
authorkrauss
Fri, 25 Mar 2011 22:17:32 +0100
changeset 42120 b8f176348f44
parent 42119 21714b0de625
child 42121 bb8986475416
fixed incomplete rename (1cdf54e845fa)
Admin/mira.py file | annotate | diff | comparison | revisions 
--- a/Admin/mira.py	Fri Mar 25 21:38:41 2011 +0100
+++ b/Admin/mira.py	Fri Mar 25 22:17:32 2011 +0100
@@ -110,7 +110,7 @@
 
     isabelle_home = paths[0]
     dep_path = dep_paths[0]
-    prepare_isabelle_repository(p, env.settings.contrib, dep_path, more_settings=more_settings)
+    prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings)
     os.chdir(path.join(isabelle_home, 'src', subdir))
 
     (return_code, log) = isabelle_usedir(env, isabelle_home, '-b', base, img)
isabelle