]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c55d66b) | patch
The ApplyTransformation.txt_of_term function has been made more robust to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Feb 2007 16:05:29 +0000 (16:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Feb 2007 16:05:29 +0000 (16:05 +0000)
commita7621a29b6d6f4c9c9c3c04e9465ae66c0f5dafd
tree3a175ffd9b3bb3403018c2e2f881205ae4df23f9tree | snapshot
parentc55d66bd91cc2e12daf076c4bd050ce34029854fcommit | diff
The ApplyTransformation.txt_of_term function has been made more robust to
exceptions.
helm/software/matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.