From db50cbf9c36e91525f5fa576cf4ad714355d4c11 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Oct 2009 13:10:22 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/topology/igft.ma | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma index 06f2c08e5..270fbb9cd 100644 --- a/helm/software/matita/nlibrary/topology/igft.ma +++ b/helm/software/matita/nlibrary/topology/igft.ma @@ -25,8 +25,9 @@ statements) readable to the author of the paper. The formalization uses the ng (new generation) version of Matita (that will be named 1.x when finally released). Last stable release of the "old" system is named 0.5.7; the ng system -is coexisting with the old one in every development release with a -version strictly greater than 0.5.7. +is coexisting with the old one in every development release +(named "nightly builds" in the download page of Matita) +with a version strictly greater than 0.5.7. Orienteering ------------ -- 2.39.2