...

diff --git a/helm/software/matita/nlibrary/topology/igft.ma b/helm/software/matita/nlibrary/topology/igft.ma
index 4c1df3614d802c41fc24452effc80f868122ec3f..f1795462b29f2e7a0f70a885ba81266a35f6bf2a 100644 (file)
--- 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 4111315ddd2e6c84cac8ae6454a10617ad952761..66f62acbe54d826dd86e9d7caf3492069f49d8a2 100644 (file)
--- 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;
 }