]> matita.cs.unibo.it Git - helm.git/commit
Debugging prerr_endlines removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Jun 2009 11:46:42 +0000 (11:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 23 Jun 2009 11:46:42 +0000 (11:46 +0000)
commitbbbf8a74bd5a272673c8687fdf2fc5eb9867853b
treebd0bd9fd49abfb83c7fdd70cd7833f558099c362
parentbd1e80fb01cfb419e256d5899ac5bf8818f11e64
Debugging prerr_endlines removed.
helm/software/components/ng_kernel/nCicEnvironment.ml