]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: af28f64) | patch
Bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Aug 2012 09:34:00 +0000 (09:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Aug 2012 09:34:00 +0000 (09:34 +0000)
commitde80dc03fc495c4dbdb54a970645dae34cbed1e7
treefe83ad47102c984a2236fb264f749584102375d9tree | snapshot
parentaf28f643b26581a87843de9d7cbc830998234af0commit | diff
Bugs fixed:
1. the context was processed in reverse order
2. the classification of types was wrong
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.