From eed5adbc98247c3b6f8de9db56c69ab45307733c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 13 Oct 2009 15:47:03 +0000 Subject: [PATCH] ... --- .../software/matita/nlibrary/topology/igft.ma | 2 + .../matita/nlibrary/topology/preamble.xml | 43 +++++++++++-------- 2 files changed, 26 insertions(+), 19 deletions(-) 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 @@ -- 2.39.2