]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70c83bc) | patch
added a warning if the baseuri we want to clean is read-only
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:08:45 +0000 (15:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:08:45 +0000 (15:08 +0000)
commit84353303cb570874509ee3535b45fe3dfdac6b25
treef41a3cb3d50c03ad88d917bc40730aee784d0af4tree | snapshot
parent70c83bce7d1d50c19c297e47691f7d66208e4d83commit | diff
added a warning if the baseuri we want to clean is read-only
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.