]> matita.cs.unibo.it Git - helm.git/commit
Better handling of exceptions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2008 18:56:44 +0000 (18:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Feb 2008 18:56:44 +0000 (18:56 +0000)
commit2cb9996c8aa785c962bba42ebd00fae5018b03d8
treeb61bafcd41c62ffbc0f2f8b72f302da6efb23847
parent1a5e02c5d5048ee6ec7d207b77cd5c2c1bdb3dae
Better handling of exceptions.
helm/software/components/ng_kernel/rt.ml