]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/cic/libraryObjects.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1aa36ef) | patch
better exception
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:22:10 +0000 (08:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:22:10 +0000 (08:22 +0000)
commit5c19fc553c94e2b96e8e2a22a97a58a4f1d6b152
treef12b4025c80dc67ad58c2e08295a4b1cdce64e06tree | snapshot
parent1aa36efd14e9d62adf8232f37bdf55101c70ba43commit | diff
better exception
helm/software/components/cic/libraryObjects.ml diff | blob | history
helm/software/components/cic/libraryObjects.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.