]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9792fcd) | patch
fixed a when that was causing backtrace loss
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 May 2007 15:53:33 +0000 (15:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 24 May 2007 15:53:33 +0000 (15:53 +0000)
commite560ae80f1f1cece95e0eda87daae3814d9413c5
tree9685a380a2954761c0b75908a67c46412d8c1d5etree | snapshot
parent9792fcde6fe68dea5c99c5362438883b3d7c56e5commit | diff
fixed a when that was causing backtrace loss
components/library/librarySync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.