More bugs fixed.

diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST
index 6f3d571a1c8468d4069443146dd6b8fb909f3186..d56939ccaed9c4b6e8d265dd8e908b43d13da895 100644 (file)
--- 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