From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 May 2008 21:01:37 +0000 (+0000)
Subject: More bugs fixed.
X-Git-Tag: make_still_working~5247
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=702d0126c70f462b3fff6db9b745d7089ce2a740;p=helm.git

More bugs fixed.
---

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