From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 29 Apr 2008 14:58:22 +0000 (+0000)
Subject: Tests status update.
X-Git-Tag: make_still_working~5281
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=13f50c1bab440fb3f6fbb6174d6aef3828f55d5d;p=helm.git

Tests status update.
---

diff --git a/helm/software/components/ng_kernel/TEST b/helm/software/components/ng_kernel/TEST
index caa72bb61..788c6cf82 100644
--- a/helm/software/components/ng_kernel/TEST
+++ b/helm/software/components/ng_kernel/TEST
@@ -17,20 +17,23 @@ Utrecht
 contrib di matita?
 
 ++++++++++++++++
-CoRN: calcolo grafi da caricare troppo lento
-Coq: calcolo grafi da caricare troppo lento
+[CoRN: calcolo grafi da caricare troppo lento]
+[Coq: calcolo grafi da caricare troppo lento]
 [Sophia-Antipolis: calcolo grafi da caricare troppo lento]
 
+CoRN: type-checking vecchio nucleo troppo lento
 Rocq/AILS: type-checking vecchio nucleo troppo lento
 Rocq/COC: type-checking vecchio nucleo troppo lento
 nijmegen: type-checking vecchio nucleo troppo lento
-Rocq/TreeAutomata vecchio nucleo troppo lento
-orsay: type-checking vecchio nucleo troppo lento
-Sophia-Antipolis/Bertrand: vecchio nucleo troppo lento
-Sophia-Antipolis/Buchberger: vecchio nucleo troppo lento
 Sophia-Antipolis/Float: vecchio nucleo troppo lento
 Sophia-Antipolis/geometry: vecchio nucleo troppo lento
 
+coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempos.con
+orsay: nuovo nucleo
+Rocq/TreeAutomata nuovo nucleo
+Sophia-Antipolis/Bertrand: nuovo nucleo
+Sophia-Antipolis/Buchberger: nuovo nucleo
+
 Sophia-Antipolis/huffmann: Unknown constant
 Sophia-Antipolis/MATH/GROUPS: Unknown constant