]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7273b9) | patch
left -> right
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 20 Jun 2008 18:36:39 +0000 (18:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 20 Jun 2008 18:36:39 +0000 (18:36 +0000)
commitcb424002ff13c0f0b52b54ab0477b133333878ae
treee183dbb63b8abf5892f90f5e1268e3454049a8catree | snapshot
parentc7273b99b956d0db4aead7f878654cb772bf4560commit | diff
left -> right
helm/software/matita/help/C/sec_usernotation.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.