]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b195056) | patch
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:18:04 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 25 Aug 2008 13:18:04 +0000 (13:18 +0000)
commit0faf538d2a970007527f493c67c17a54fd19d9b7
tree78179cdf3653457894816e939e5f99b2c2908c37tree | snapshot
parentb195056adc77e652f59ec0b46afe277b150e12c8commit | diff
...
helm/software/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.