From: Enrico Tassi Date: Wed, 14 Oct 2009 13:09:04 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3304 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d1affc571c5d1ac0acc1ef7a2f31fb166f649984;p=helm.git ... --- diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma index 2d7692648..06f2c08e5 100644 --- a/helm/software/matita/nlibrary/topology/igft.ma +++ b/helm/software/matita/nlibrary/topology/igft.ma @@ -25,8 +25,8 @@ 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 cohexisting with the old one in every development release with a -version strictly grater then 0.5.7. +is coexisting with the old one in every development release with a +version strictly greater than 0.5.7. Orienteering ------------