]> matita.cs.unibo.it Git - helm.git/commit
lowered debugging level
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:34:16 +0000 (17:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:34:16 +0000 (17:34 +0000)
commit863d12e97772fb72e7820c9f1bee037da77f2746
treead2e5cc2863d44e5d57e9749450505823a399d48
parent6893f7448d32c20354cd6a465a6e0b9922c742ab
lowered debugging level
daemons/uwobo/uwobo.ml