]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0ad441) | patch
fixed bug in translating Fix, recno was not properly computed
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 10:54:11 +0000 (10:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 10:54:11 +0000 (10:54 +0000)
commit352aa2e42b054c1ecd80d5767c561758f210a3a7
treef8f874eeac9e68ea9dba2304a5b61c76bab7303dtree | snapshot
parentb0ad441c9ccf47e7bc3b739acc80e52f3b85b5bacommit | diff
fixed bug in translating Fix, recno was not properly computed
helm/software/components/ng_kernel/oCic2NCic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.