]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44f2a28) | patch
Max width overflows, which cause auto to fail, are now logged as errors.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Jun 2011 13:40:38 +0000 (13:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 3 Jun 2011 13:40:38 +0000 (13:40 +0000)
commit1abd18f614b6691547662cc8608f259233b246c7
treee740a163e9d92025c4a6c8fa4dc954320abea001tree | snapshot
parent44f2a287d8de9646bc2bff86b00020648bb1029ccommit | diff
Max width overflows, which cause auto to fail, are now logged as errors.
The message "auto gave up" is not very informative by itself!
matita/components/ng_tactics/nnAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.