]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 22 Nov 2002 13:15:49 +0000 (13:15 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 22 Nov 2002 13:15:49 +0000 (13:15 +0000)
commit0a84547a2daf113ae28439c504e2733425e2b762
treea7677a5acf1e0a11cbe363b0debae54aac3cc3dc
parent34815093cd80a179ff41b238ab7f394fbea6c2e0
Modified Files:
1)schema-h schema-hth: updated
helm/schemas/schema-h
helm/schemas/schema-hth