From b4aad399a4e900b9faaec1e7079369f305ff197d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 13 Oct 2009 15:50:11 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/topology/igft.ma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2