]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6759156) | 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)
commitc09f706392d4a15d78bbe216dc0b5b7c8d41a1f8
tree83219bde6773503ae799817906887f4ff6c54717tree | snapshot
parent6759156e7b8234dd4c024d58e63c293c051962f0commit | diff
fixed bug regarding developments. paths given with -I are now made absolute
helm/software/matita/matitaInit.ml diff | blob | history
helm/software/matita/matitaScript.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.