From: Ferruccio Guidi Date: Mon, 17 Dec 2018 20:11:50 +0000 (+0100) Subject: list of failing files updated X-Git-Tag: make_still_working~260 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;p=helm.git list of failing files updated + one file added --- diff --git a/matita/matita/lib/fail.txt b/matita/matita/lib/fail.txt index 6da43596d..018bed897 100644 --- a/matita/matita/lib/fail.txt +++ b/matita/matita/lib/fail.txt @@ -1,7 +1,10 @@ +FAILING FILES 2018-12-17 + matitac.opt binding/fp.ma matitac.opt binding/ln_concrete.ma matitac.opt binding/ln.ma matitac.opt binding/names.ma +matitac.opt extraction.ma matitac.opt finite_lambda/confluence.ma matitac.opt finite_lambda/reduction.ma matitac.opt finite_lambda/terms_and_types.ma