]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: effdaf0) | patch
user time is now printed correctly
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Jan 2008 09:03:13 +0000 (09:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 14 Jan 2008 09:03:13 +0000 (09:03 +0000)
commit9452804e1eedc7f74cff8007e823701c9fd40c0c
tree1c7585a6974df55644816523f17faf6088af50b8tree | snapshot
parenteffdaf06f6f002d930bdabcab0fd47d3cfc36c04commit | diff
user time is now printed correctly
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.