From: Enrico Tassi Date: Tue, 13 Oct 2009 15:47:03 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~3315 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=eed5adbc98247c3b6f8de9db56c69ab45307733c;p=helm.git ... --- diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma index a6d430cf1..d5396e391 100644 --- a/helm/software/matita/nlibrary/topology/igft.ma +++ b/helm/software/matita/nlibrary/topology/igft.ma @@ -1285,6 +1285,8 @@ D*) (*D +Last updated: $Date:$ + [1]: http://upsilon.cc/~zack/research/publications/notation.pdf D*) diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml index 8044ff2fa..4111315dd 100644 --- a/helm/software/matita/nlibrary/topology/preamble.xml +++ b/helm/software/matita/nlibrary/topology/preamble.xml @@ -3,29 +3,34 @@