]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46fb7c6) | patch
another fix to make it more resistant
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:52:06 +0000 (15:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:52:06 +0000 (15:52 +0000)
commit83a8c54521f971aabd5a840a62426cfd00c9c60c
tree015ea36f4b7bfab61e65599fd7ab1ce89d83f12btree | snapshot
parent46fb7c601185d7aada2489700e7d7817d50e1e57commit | diff
another fix to make it more resistant
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.