]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/dia/CVS/Entries
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
absolute path and factorization for matita.basedir
[helm.git] / helm / papers / whelp / dia / CVS / Entries
1 /zack_01.shape/1.1/Wed Jul 27 08:22:29 2005//
2 /zack_02.shape/1.1/Wed Jul 27 08:22:29 2005//
3 /zack_03.shape/1.1/Wed Jul 27 08:22:29 2005//
4 D
Unnamed repository; edit this file 'description' to name the repository.