From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 13 Oct 2009 15:50:11 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3314
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b4aad399a4e900b9faaec1e7079369f305ff197d;p=helm.git

...
---

diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma
index d5396e391..4c1df3614 100644
--- a/helm/software/matita/nlibrary/topology/igft.ma
+++ b/helm/software/matita/nlibrary/topology/igft.ma
@@ -1285,7 +1285,7 @@ D*)
 
 (*D
 
-Last updated: $Date:$
+Last updated: $Date$
 
 [1]: http://upsilon.cc/~zack/research/publications/notation.pdf