]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8a719b) | patch
Fixes a bug in NnAuto: printing the statistics triggered loading of
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 15 Nov 2011 17:18:43 +0000 (17:18 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Tue, 15 Nov 2011 17:18:43 +0000 (17:18 +0000)
commit99a272204b8840aa0e8aa29a64674f4516c5b561
treebf23876859662b0885fbcbbcac909b0c0682100dtree | snapshot
parentb8a719bbb47d12e0a6b2c8cb2e5e26a2bf360be1commit | diff
Fixes a bug in NnAuto: printing the statistics triggered loading of
objects from the library into the environment.
matitaB/components/ng_tactics/nnAuto.ml diff | blob | history
matitaB/matita/matitadaemon.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.