]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 527dca8) | patch
added dependency on Str
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 May 2006 08:06:07 +0000 (08:06 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 23 May 2006 08:06:07 +0000 (08:06 +0000)
commitcea4ef1fe7f5134b3345b26d2baf2b6e364afe3b
tree7a99bc7cd9029be7186beb19e3b8f2b96bc4a6c4tree | snapshot
parent527dca8f8f04cfadca5db6bc73c49f6ab0eda4dfcommit | diff
added dependency on Str
components/METAS/meta.helm-syntax_extensions.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.