]> matita.cs.unibo.it Git - helm.git/commit
template mk-mml-op-noannot was modified to allow hidden parameters
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 22 Oct 2001 16:50:56 +0000 (16:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 22 Oct 2001 16:50:56 +0000 (16:50 +0000)
commit500f634b8b40073ee5a1ef1b4c4cb136333e729e
treec5154354e874e17b08508ad82ff59fe2aa2336a3
parent02bc1a8c06b2d2c5169c9f1beecf9daa94a85247
template mk-mml-op-noannot was modified to allow hidden parameters
eq and eqT where aligned
helm/style/basic.xsl
helm/style/contentlib.xsl