]> matita.cs.unibo.it Git - helm.git/commit
Never commit before trying to compile... stupid typo fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 17:07:07 +0000 (17:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 17:07:07 +0000 (17:07 +0000)
commitdfc88cb4e7d0dca81cabe418d2c732cd22166726
treeccc67820e4b393a23b22e63c5cbe61e7c7ca3847
parenta07144619493a0ec53c5c2c9f3adcdf5b557dd5d
Never commit before trying to compile... stupid typo fixed.
helm/software/components/ng_kernel/check.ml