]> matita.cs.unibo.it Git - helm.git/commit
basic_rg: more improvements to the error reporting interface
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Sep 2009 11:37:27 +0000 (11:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 5 Sep 2009 11:37:27 +0000 (11:37 +0000)
commitae52a8447fbe67847eba356d26b568d637c90652
tree78fe149ecaba4aa99259f73ef0a9a662f7af4224
parent0dc347a7742e40a828fa98acba70078dd2d7cbd5
basic_rg: more improvements to the error reporting interface
helm/software/lambda-delta/.depend.opt
helm/software/lambda-delta/basic_rg/brgReduction.ml
helm/software/lambda-delta/basic_rg/brgReduction.mli
helm/software/lambda-delta/basic_rg/brgType.ml
helm/software/lambda-delta/basic_rg/brgType.mli