]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 515c119) | patch
bug found:
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Nov 2002 09:26:10 +0000 (09:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 4 Nov 2002 09:26:10 +0000 (09:26 +0000)
commita19c0a69c65ecdb695315d79b1a9b3e037aba9ad
tree1fd03db91d5cde2b10cc6f86876ac6c3d9e0d70btree | snapshot
parent515c1195a3b3ff86bf002091b4535bc812aa40eacommit | diff
bug found:
 - >= is splitted in > or = ,so unification fails
helm/gTopLevel/esempi/fourier.cic diff | blob | history
helm/gTopLevel/fourierR.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.