]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 748f310) | patch
Ported to RDF syntax.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 12:44:34 +0000 (12:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 12:44:34 +0000 (12:44 +0000)
commitcf9a0add389780f349ecb995da010a17d00cb8d4
tree90d8f028d8a6f59f70ab78e5ea9243e00d853005tree | snapshot
parent748f31086e027090a90f2742fe62e3bf98e624abcommit | diff
Ported to RDF syntax.
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.