]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b777915) | patch
extensions
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Mar 2011 07:40:56 +0000 (07:40 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Mar 2011 07:40:56 +0000 (07:40 +0000)
commita00c1b5c423e143cef6750ed75782dd91cdb1129
tree61d21761cd12d713f0b2b8c68eda1b5584a00554tree | snapshot
parentb7779155a6bb8868e0d33e1211a92d5f39e0c3a8commit | diff
extensions
matita/matita/lib/basics/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.