]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf07c50) | patch
better error message in case inclusion failed
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:08:39 +0000 (12:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 12 Feb 2008 12:08:39 +0000 (12:08 +0000)
commit18d61b8fe9cda8874a3f57b70a293492460ae574
tree992e84a8fbe9e5a4028950a5ae865a636231dd24tree | snapshot
parentcf07c50b03a49344eb4cbe2e1bc18fcef880b9e9commit | diff
better error message in case inclusion failed
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.