]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7508af6) | patch
- 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
tree5fedd8f7e2b3d1504bb76430d9d2eb6dab330829tree | snapshot
parent7508af658c85b26d0af929c85069bae18bc6546acommit | diff
- 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 diff | blob | history
helm/software/lambda-delta/icons/basic-32.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/crux-32.png [new file with mode: 0644] blob
helm/software/lambda-delta/icons/helena-32.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.