]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52bc802) | patch
- improved logging
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Dec 2008 15:48:01 +0000 (15:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 18 Dec 2008 15:48:01 +0000 (15:48 +0000)
commitd38cea7e4865091412e1414f5594dd7c124de47e
treec79e77849169552c4827bb8ef3d0326e01d0763dtree | snapshot
parent52bc8021b8be8fec9c3ae65d6b42c0d92d9c3c74commit | diff
- improved logging
- we started to support the coercion for "non"
helm/software/lambda-delta/automath/autItem.ml diff | blob | history
helm/software/lambda-delta/basic_ag/bagReduction.ml diff | blob | history
helm/software/lambda-delta/basic_ag/bagType.ml diff | blob | history
helm/software/lambda-delta/lib/log.ml diff | blob | history
helm/software/lambda-delta/lib/log.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.