]> matita.cs.unibo.it Git - helm.git/commit
better nlet rec boxing
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 2 Oct 2009 09:45:52 +0000 (09:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 2 Oct 2009 09:45:52 +0000 (09:45 +0000)
commit38ec119c163b0e6f97a9800933d5b71c065332e8
tree2bec9ffc643bd84a6f90a8ebde665caaf3defe16
parent897373ab09685b29cbfab8deb6c868ece21c5cc1
better nlet rec boxing
helm/software/components/content_pres/content2pres.ml