]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d655a6) | patch
All the ids are now generated by gen_id. (Some of them were previously based
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Jul 2003 09:26:19 +0000 (09:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Jul 2003 09:26:19 +0000 (09:26 +0000)
commit058acfd867b172244c9beb95c11fdd2ad270f5a0
tree24f65afea7d6f5e6910390d43add8923b5d6b11ctree | snapshot
parent5d655a6dece0045a227f7c7d16d2909c2587d8edcommit | diff
All the ids are now generated by gen_id. (Some of them were previously based
on the acic ids).
helm/ocaml/cic_omdoc/cic2content.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.