From 45f2accd093c8d10eb692266f4c3c0c59cb22d8b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 17 Dec 2018 21:11:50 +0100 Subject: [PATCH] list of failing files updated + one file added --- matita/matita/lib/fail.txt | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.39.2