]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc698de) | patch
Cooking implemented (not tested yet).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Apr 2008 22:00:51 +0000 (22:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 7 Apr 2008 22:00:51 +0000 (22:00 +0000)
commit35e102fec6bad146fee425f299a93520e657e7c2
tree7a3d3b8014d7082066fb0033dc23ace704210c86tree | snapshot
parentbc698deb9b8416c2b903b78a6053d59f6cc2a8eccommit | diff
Cooking implemented (not tested yet).
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.