From 702d0126c70f462b3fff6db9b745d7089ce2a740 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 May 2008 21:01:37 +0000 Subject: [PATCH] More bugs fixed. --- helm/software/components/ng_kernel/TEST | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST index 6f3d571a1..d56939cca 100644 --- a/helm/software/components/ng_kernel/TEST +++ b/helm/software/components/ng_kernel/TEST @@ -6,7 +6,7 @@ Cachan Dyade Eindhoven IdealX -Lyon tranne PROCESSES +Lyon Marseille Montevideo Muenchen @@ -38,9 +38,7 @@ coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempo orsay: nuovo nucleo diverge (vedi sopra) Sophia-Antipolis/Buchberger: nuovo nucleo diverge matita/freescale: nuovo nucleo diverge - -Sophia-Antipolis/Algebra: nuovo nucleo? -lyon/PROCESSES: nuovo nucleo? +Sophia-Antipolis/Algebra: nuovo nucleo diverge lannion: nuovo nucleo impredicative set rocq.higman: nuovo nucleo impredicative set -- 2.39.2