1.1 --- a/Admin/mira.py	Tue Jul 19 07:14:14 2011 +0200
     1.2 +++ b/Admin/mira.py	Tue Jul 19 11:15:38 2011 +0200
     1.3 @@ -471,4 +471,4 @@
     1.4      proofs_dir = path.join(playground, 'proofs_extended')
     1.5  
     1.6      return isabelle_make('src/HOL', env, case, paths, dep_paths, playground,
     1.7 -      more_settings=('HOL4PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')
     1.8 +      more_settings=('HOL4_PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')