]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 7 Feb 2005 15:22:44 +0000 (15:22 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Mon, 7 Feb 2005 15:22:44 +0000 (15:22 +0000) | ||
commit | bc4f055d3cef22d003fce844445f66cc9a25f92c | |
tree | dbd856e0bf66083303a8648e1c31fbbc3b3bc36b | tree | snapshot |
parent | ad87baf78fb145517c4151c7a3f61d6b5e5fc550 | commit | diff |
helm/matita/.depend | diff | blob | history |