]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0e53ea) | patch
Manual commit (basics/core_notation.ma)
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 15 Mar 2012 10:33:00 +0000 (10:33 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 15 Mar 2012 10:33:00 +0000 (10:33 +0000)
commit6d46de64db7b1fee5ab0784fd5b710dbe6d3a9e5
tree30006093540924e9a3e1b166f682f2f6329ce072tree | snapshot
parentb0e53eab5aa92b80f4d13a638e6ca55c054be6e5commit | diff
Manual commit (basics/core_notation.ma)
weblib/basics/core_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.