# HG changeset patch
# User wenzelm
# Date 1251880547 -7200
# Node ID 4af24f127fcf9ed7500531bd46aa77ed1896fb09
# Parent  67972a7f85b7cb3c0e8ac8623a9c74d532ebced0# Parent  d2c97fc18704ebd6d6f756d925ebc3eb59a47579
merged

diff -r 67972a7f85b7 -r 4af24f127fcf src/HOL/Tools/Mirabelle/Tools/mirabelle.ML
--- a/src/HOL/Tools/Mirabelle/Tools/mirabelle.ML	Tue Sep 01 21:40:10 2009 +0200
+++ b/src/HOL/Tools/Mirabelle/Tools/mirabelle.ML	Wed Sep 02 10:35:47 2009 +0200
@@ -112,7 +112,7 @@
 
 end
 
-val blacklist = ["disable_pr", "enable_pr", "done", "."]
+val blacklist = ["disable_pr", "enable_pr", "done", ".", "txt"]
 
 fun step_hook tr pre post =
  (* FIXME: might require wrapping into "interruptible" *)