]> matita.cs.unibo.it Git - helm.git/commit
1. Fixati alcuni problemi di indentazione con le rewrite.
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Aug 2001 11:32:53 +0000 (11:32 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 29 Aug 2001 11:32:53 +0000 (11:32 +0000)
commit22f6a8f49ed4015bf3c36f0036041932711248de
treeb07bcc506799abdb2ffa5560ea177356f65b759c
parent82909979b625f10a91025786301c08b8ac620179
1. Fixati alcuni problemi di indentazione con le rewrite.
2. Esplosione in un colpo solo di catene di riscrittura.
helm/style/content_to_html.xsl
helm/style/proofs.xsl