# HG changeset patch
# User krauss
# Date 1311066938 -7200
# Node ID 1e2aa420c6607e3ae98ea435f53a915b048e21c5
# Parent  8064210028b73e7da98f4ab9df2b8635c782efdf
the HOL4PROOFS setting is actually HOL4_PROOFS

diff -r 8064210028b7 -r 1e2aa420c660 Admin/mira.py
--- 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')