projects / helm.git / commit
| author | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jul 2012 07:19:18 +0000 (07:19 +0000) | ||
| committer | matitaweb <claudio.sacerdoticoen@unibo.it> | |
| Sun, 8 Jul 2012 07:19:18 +0000 (07:19 +0000) | ||
| commit | 31dccba27d8819bc5e4b9ad3fc6f244f4dfbfbc0 | |
| tree | a6178464aa104b0d88ec87e65a019823118ff442 | tree | snapshot |
| parent | 80b2ee96ffe418af9c39d3714e2a2f1dc74dab41 | commit | diff |
| matitaB/matita/html/matitaweb.js | diff | blob | history | |
| matitaB/matita/matitadaemon.ml | diff | blob | history |