]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da71c09) | patch
Fixes r11788 (partial, thus broken commit).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 11 Jan 2012 10:45:07 +0000 (10:45 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 11 Jan 2012 10:45:07 +0000 (10:45 +0000)
commit7bf186f42e827e6e4112eba7ae5ca3e727f59026
tree43ba1b8afc8cadf85ae29436215ccdb0baa16da0tree | snapshot
parentda71c09b8f4a42d3273fcbaea0cda3bceed1d949commit | diff
Fixes r11788 (partial, thus broken commit).
matita/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.