]> matita.cs.unibo.it Git - helm.git/commit
- alpha convertibility test disabled for now (it needs better implementation)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Aug 2009 15:15:26 +0000 (15:15 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 23 Aug 2009 15:15:26 +0000 (15:15 +0000)
commit58087f01e01502c1544c4186507089a1013b5153
tree5fedd8f7e2b3d1504bb76430d9d2eb6dab330829
parent7508af658c85b26d0af929c85069bae18bc6546a
- alpha convertibility test disabled for now (it needs better implementation)
- some icons related to lambda-delta are now available
helm/software/lambda-delta/basic_rg/brgReduction.ml
helm/software/lambda-delta/icons/basic-32.png [new file with mode: 0644]
helm/software/lambda-delta/icons/crux-32.png [new file with mode: 0644]
helm/software/lambda-delta/icons/helena-32.png [new file with mode: 0644]