X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fschemas%2Fschema-hth;h=2c51c8cc8a89148f906e46398873d253c2277364;hb=34815093cd80a179ff41b238ab7f394fbea6c2e0;hp=cd1e8fe2843f94401d00a9e18ef8b7dba0090c1f;hpb=71c844edbf4d0c6eeafd10931aceb3f9f8ff5136;p=helm.git
diff --git a/helm/schemas/schema-hth b/helm/schemas/schema-hth
index cd1e8fe28..2c51c8cc8 100644
--- a/helm/schemas/schema-hth
+++ b/helm/schemas/schema-hth
@@ -35,7 +35,7 @@ xmlns:hth="http://www.cs.unibo.it/~schena/schema-hth#" -->
intended to facilitate discovery of mathematical resources.
English
-
+
2000-6-3
@@ -122,6 +122,16 @@ identifiers
+
+
+ Short name (alias) of the mathematical resource
+
+
+
+
+
+
+
Any additional information about the first version of the