]> matita.cs.unibo.it Git - helm.git/commit
better exception handling
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 18 Jun 2009 17:26:27 +0000 (17:26 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 18 Jun 2009 17:26:27 +0000 (17:26 +0000)
commit421056da7b3e1d6b9d91d72092b4f3c3232a00ce
treedbdba65a71199ce41921d5a3d5ae28a46d505b16
parent59eba9406321e2eeb1e4471dc490aa72ebf4ec47
better exception handling
helm/software/components/ng_tactics/nTacStatus.ml
helm/software/components/ng_tactics/nTacStatus.mli
helm/software/components/ng_tactics/nTactics.ml
helm/software/matita/matitaExcPp.ml