projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 26 Jun 2009 12:01:30 +0000 (12:01 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 26 Jun 2009 12:01:30 +0000 (12:01 +0000) | ||
| commit | ba973eae07a1c2542ba0dc12931ef465a42eddf9 | |
| tree | c5ea666893b8c2e50f7000b28b4e51b0b87d4851 | tree | snapshot |
| parent | 9b3325753f813248f6e8cfcc1312a1edac613cfc | commit | diff |
| helm/software/components/binaries/matitaprover/CASC_2008 | [new file with mode: 0644] | blob |
| helm/software/components/binaries/matitaprover/Veloci | [new file with mode: 0644] | blob |