projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 27 Aug 2012 14:25:45 +0000 (14:25 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 27 Aug 2012 14:25:45 +0000 (14:25 +0000) | ||
| commit | a78228fa1d53da35b589f8b5f29816270f467af8 | |
| tree | 71b1c3ba62d265625159cccd989821c985276bea | tree | snapshot |
| parent | e7fb8e2fdb6fafa0c38bf06146169a0a4efc6b38 | commit | diff |
| matita/matita/lib/extraction.ma | diff | blob | history | |
| matita/matita/lib/preamble.hs | diff | blob | history |