]> matita.cs.unibo.it Git - helm.git/commit
- wrong version of drop was used in four places
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Jun 2014 20:24:42 +0000 (20:24 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 29 Jun 2014 20:24:42 +0000 (20:24 +0000)
commit645b62762e9c86e343d4741541a2ddccfed8ebc7
treef0e7c810a9d85c582c2c0e38f95e1a5f4c37344a
parent22a8894b2c2fd0f38d45d401bfc2dbd097c5ff0e
- wrong version of drop was used in four places
- bugfixed css class in tables
matita/matita/contribs/lambdadelta/Makefile
matita/matita/contribs/lambdadelta/apps_2/web/apps_2_src.tbl
matita/matita/contribs/lambdadelta/basic_2/computation/cpxs_tstc_vector.ma
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lpx.ma
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_blk.tbl
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl