| changeset 43903 | 1e2aa420c660 |
| parent 43897 | b28745c3ddce |
| child 45157 | efc2e2d80218 |
--- a/Admin/mira.py Tue Jul 19 07:14:14 2011 +0200 +++ b/Admin/mira.py Tue Jul 19 11:15:38 2011 +0200 @@ -471,4 +471,4 @@ proofs_dir = path.join(playground, 'proofs_extended') return isabelle_make('src/HOL', env, case, paths, dep_paths, playground, - more_settings=('HOL4PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight') + more_settings=('HOL4_PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')