]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7ac10d) | patch
Bug fixed: a ~with_cast is now inserted when appropriate to avoid translation
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:19:24 +0000 (20:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:19:24 +0000 (20:19 +0000)
commit3c5ae672d701c15b24fba38f38f583ef9e7414af
tree21671559f9afac506e83a54aa36004bce9e50b51tree | snapshot
parenta7ac10d52818a5f1b720474f015234933c3eab04commit | diff
Bug fixed: a ~with_cast is now inserted when appropriate to avoid translation
of a bottom-up conversion into a top-down conversion.
helm/software/components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.