]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8435330) | patch
ugly hack to make matitac not exit when called on a readonly baseuri, but just fail
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:15:38 +0000 (15:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:15:38 +0000 (15:15 +0000)
commit217c3be106db930f258bfe479777179ace594b03
tree1ef17b6345a32ec013ab0b10b56997fc9c590e77tree | snapshot
parent84353303cb570874509ee3535b45fe3dfdac6b25commit | diff
ugly hack to make matitac not exit when called on a readonly baseuri, but just fail
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.