Adapted Mirabelle script (cf. f60e4dd6d76f)
authorkrauss
Thu Jun 10 12:08:33 2010 +0200 (2010-06-10)
changeset 373785449c9aafdca
parent 37377 e4d56f44e757
child 37379 f23e60581eb3
Adapted Mirabelle script (cf. f60e4dd6d76f)
src/HOL/Mirabelle/lib/scripts/mirabelle.pl
     1.1 --- a/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Mon Jun 14 21:12:51 2010 +0200
     1.2 +++ b/src/HOL/Mirabelle/lib/scripts/mirabelle.pl	Thu Jun 10 12:08:33 2010 +0200
     1.3 @@ -63,10 +63,10 @@
     1.4  begin
     1.5  
     1.6  setup {* 
     1.7 -  Config.put_thy Mirabelle.logfile "$log_file" #>
     1.8 -  Config.put_thy Mirabelle.timeout $timeout #>
     1.9 -  Config.put_thy Mirabelle.start_line $start_line #>
    1.10 -  Config.put_thy Mirabelle.end_line $end_line
    1.11 +  Config.put_global Mirabelle.logfile "$log_file" #>
    1.12 +  Config.put_global Mirabelle.timeout $timeout #>
    1.13 +  Config.put_global Mirabelle.start_line $start_line #>
    1.14 +  Config.put_global Mirabelle.end_line $end_line
    1.15  *}
    1.16  
    1.17  END