]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac32f6b) | patch
developments added
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jun 2006 12:00:35 +0000 (12:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 8 Jun 2006 12:00:35 +0000 (12:00 +0000)
commit357d03db09f8b136b1c049d2c982902112d1cc49
tree467508745e27d8bf521e127aaa3218bbfd6c8014tree | snapshot
parentac32f6b3e8f8303d41c6b82c9114aae238cdfeb9commit | diff
developments added
matita/help/C/sec_gettingstarted.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.