]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae1827a) | patch
fixed bug regarding developments. paths given with -I are now made absolute
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 14:25:10 +0000 (14:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 27 Sep 2006 14:25:10 +0000 (14:25 +0000)
commitf6e02ce991e53e91974e193f80954172cd669c86
treedd6454ad1f9f048f12d9a679e2e7b9776776cfc0tree | snapshot
parentae1827aaba945a25bdc209ca23aa836befa4beadcommit | diff
fixed bug regarding developments. paths given with -I are now made absolute
matita/matitaInit.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.