]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 529448c) | patch
Porting to RDF syntax.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 12:43:40 +0000 (12:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 24 Oct 2001 12:43:40 +0000 (12:43 +0000)
commit748f31086e027090a90f2742fe62e3bf98e624ab
tree3913a12ca234a001c0380760d71d9f592837eda0tree | snapshot
parent529448c8bb647bad602f320248c1b7268c5f946fcommit | diff
Porting to RDF syntax.
helm/style/mk_meta_theory.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.