From 21e0138ea9ff36fcc85e21081aa996d8eb063fb3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 13 Oct 2009 15:53:50 +0000
Subject: [PATCH] ...

---
 helm/software/matita/nlibrary/topology/igft.ma      | 2 ++
 helm/software/matita/nlibrary/topology/preamble.xml | 7 +++++++
 2 files changed, 9 insertions(+)

diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma
index 4c1df3614..f1795462b 100644
--- a/helm/software/matita/nlibrary/topology/igft.ma
+++ b/helm/software/matita/nlibrary/topology/igft.ma
@@ -1285,7 +1285,9 @@ D*)
 
 (*D
 
+<date>
 Last updated: $Date$
+</date>
 
 [1]: http://upsilon.cc/~zack/research/publications/notation.pdf 
 
diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml
index 4111315dd..66f62acbe 100644
--- a/helm/software/matita/nlibrary/topology/preamble.xml
+++ b/helm/software/matita/nlibrary/topology/preamble.xml
@@ -28,6 +28,13 @@ img {
 	display: block;
 }
 
+date {
+	font-size:60%;
+	text-align:right;
+	width: 100%;
+	display:block;
+}
+
 body {
 	margin-right: 1em;
 }
-- 
2.39.2