diff -r f667e64a5b4d -r 3a60518900e4 Admin/mira.py
--- a/Admin/mira.py	Sun Mar 27 21:44:10 2011 +0200
+++ b/Admin/mira.py	Mon Mar 28 09:22:22 2011 +0200
@@ -120,7 +120,7 @@
       {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
 
 
-def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all'):
+def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all', keep_results=False):
 
     isabelle_home = paths[0]
     dep_path = dep_paths[0] if dep_paths else None
@@ -129,8 +129,9 @@
 
     (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', '-k', target)
 
+    result = path.join(isabelle_home, 'heaps') if keep_results else None
     return (return_code == 0, extract_isabelle_run_summary(log),
-      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None)
+      {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
 
 
 def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all', make_options=()):
@@ -342,7 +343,7 @@
 @configuration(repos = [Isabelle], deps = [])
 def SML_HOL(*args):
     """HOL image built with SML/NJ"""
-    return isabelle_make('src/HOL', *args, more_settings=smlnj_settings, target='HOL')
+    return isabelle_make('src/HOL', *args, more_settings=smlnj_settings, target='HOL', keep_results=True)
 
 @configuration(repos = [Isabelle], deps = [])
 def SML_makeall(*args):