]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9b4235) | patch
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Mon, 3 Dec 2001 16:17:59 +0000 (16:17 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 3 Dec 2001 16:17:59 +0000 (16:17 +0000)
commit9d25a028a1ec3f0331d417b7c0b648e8c5d622a3
tree7c7ab5dc5ad1e859b703449401b776c94aa0e808tree | snapshot
parentf9b4235fda2f3d390ef8fa5ddee2d4e2a0f377aecommit | diff
----------------------------------------------------------------------
Added Files:
1) schema-h.rdf, schema-hth.rdf: first draft of rdf schemas for objects
and theories
----------------------------------------------------------------------
helm/schemas/schema-h.rdf [new file with mode: 0644] blob
helm/schemas/schema-hth.rdf [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.