]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a953f2) | patch
add_obj is ATOMIC
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 22 Jul 2005 11:46:25 +0000 (11:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 22 Jul 2005 11:46:25 +0000 (11:46 +0000)
commita985685735f5700866e3a97234787c0a8ce2af95
treef259b21950ac81eae2d83b8fb49de854d77702b7tree | snapshot
parent2a953f2a05308ee417f63dceb29e027c527d4e17commit | diff
add_obj is ATOMIC
helm/matita/matitaSync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.