]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0f86a8) | patch
do_heavy_checks not always true, take ths option from the registry instead
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 15:16:25 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 4 Dec 2007 15:16:25 +0000 (15:16 +0000)
commit14dbb9ba574d4923b31ae31db3e749b31091d24a
tree4190c653d57aa9da0ea973bd7c128b13fd534e02tree | snapshot
parentc0f86a886451a0df3b42a1435e21b5def9f34792commit | diff
do_heavy_checks not always true, take ths option from the registry instead
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.