]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e451dc) | patch
1) sort computation undone (it used to be bugged anyway)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Nov 2009 09:21:13 +0000 (09:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Nov 2009 09:21:13 +0000 (09:21 +0000)
commit8e1b4eb6c9c8544f754b525d6cf2ba5ab0bf5396
tree4803a328b702743501a4f6f963cb3903438dbd22tree | snapshot
parent2e451dca46e509fd7e7772f3d2e438c189ce10a1commit | diff
1) sort computation undone (it used to be bugged anyway)
2) let's unfocus again (even if it is not always correct)
helm/software/components/ng_tactics/nAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.