Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added txt to blacklist
authornipkow
Tue, 01 Sep 2009 19:48:11 +0200
changeset 32475 d2c97fc18704
parent 32473 6341f907aba4
child 32484 a4a1547a6f1e
child 32487 4af24f127fcf
added txt to blacklist
src/HOL/Tools/Mirabelle/Tools/mirabelle.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Mirabelle/Tools/mirabelle.ML	Tue Sep 01 15:21:22 2009 +0200
+++ b/src/HOL/Tools/Mirabelle/Tools/mirabelle.ML	Tue Sep 01 19:48:11 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" *)
isabelle